Removed more references to OCM.

esbmc · Jan 31, 2024 · 4c9e511 · 4c9e511
1 parent b2cc5cc
commit 4c9e511
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 677 deletions.
diff --git a/esbmc_ai_lib/commands/__init__.py b/esbmc_ai_lib/commands/__init__.py
@@ -2,5 +2,12 @@
 from .exit_command import ExitCommand
 from .fix_code_command import FixCodeCommand
 from .help_command import HelpCommand
-from .optimize_code_command import OptimizeCodeCommand
 from .verify_code_command import VerifyCodeCommand
+
+__all__ = [
+    "ChatCommand",
+    "ExitCommand",
+    "FixCodeCommand",
+    "HelpCommand",
+    "VerifyCodeCommand",
+]