diff --git a/src/goto-checker/module_dependencies.txt b/src/goto-checker/module_dependencies.txt
index fbac8e83b49..f55cf22992b 100644
--- 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