goto-checker no longer depends on cbmc

tautschnig · tautschnig · commit 68536573d6eb · 2025-05-27T13:00:09.000Z
This dependency was removed in a08b6cf.
diff --git a/src/goto-checker/module_dependencies.txt b/src/goto-checker/module_dependencies.txt
@@ -1,5 +1,4 @@
 assembler
-cbmc # symex_bmc will be moved next
 goto-checker
 goto-instrument
 goto-programs

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`assembler`
`2`		`-cbmc # symex_bmc will be moved next`
`3`	`2`	`goto-checker`
`4`	`3`	`goto-instrument`
`5`	`4`	`goto-programs`