Rm duplicate fstat

Co-authored-by: Simmo Saan <[email protected]>
goblint · Oct 4, 2023 · a43554d · a43554d
1 parent 12742a3
commit a43554d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/analyses/libraryFunctions.ml b/src/analyses/libraryFunctions.ml
@@ -386,7 +386,6 @@ let posix_descs_list: (string * LibraryDesc.t) list = LibraryDsl.[
     ("unlink", unknown [drop "pathname" [r]]);
     ("popen", unknown [drop "command" [r]; drop "type" [r]]);
     ("stat", unknown [drop "pathname" [r]; drop "statbuf" [w]]);
-    ("fstat", unknown [drop "fd" []; drop "statbuf" [w]]);
     ("statfs", unknown [drop "path" [r]; drop "buf" [w]]);
   ]