From c70d44de20ef28f116c9dc267ab40cfaf2111ac8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 21 Sep 2022 17:41:41 +0200
Subject: [PATCH] [interpretation] Remove spurious dead code.
---
src/interpretation.ml | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/interpretation.ml b/src/interpretation.ml
index e87c7e9..5464a2e 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",
[],
--
GitLab