diff --git a/src/interpretation.ml b/src/interpretation.ml
index e87c7e9f115a19fd523fd6a9ebcfc21047105716..5464a2e57e3fe591fc9628e74497e52cbd55fc41 100644
--- a/src/interpretation.ml
+++ b/src/interpretation.ml
@@ -93,8 +93,6 @@ let built_in_caisar : caisar_env Caisar_reduction_engine.built_in_theories list
   in
 
   [
-    (* ["bool"],"Bool", [], [ "True", None, eval_true ; "False", None,
-       eval_false ; ] ; *)
     ( [ "caisar" ],
       "Interpret",
       [],