CONTRACTS: remove unecessary module deps

Remi Delmas · Remi Delmas · commit d5046b946df0 · 2022-10-26T11:53:21.000-04:00
diff --git a/src/goto-instrument/contracts/dynamic-frames/module_dependencies.txt b/src/goto-instrument/contracts/dynamic-frames/module_dependencies.txt
@@ -1,8 +1,4 @@
 ansi-c
 goto-instrument/contracts
-goto-instrument/contracts/dynamic-frames
-goto-instrument
-goto-programs
-langapi
 linking
 util
