do not need lowlang interpreter

h0nzZik · Jul 6, 2024 · ec73973 · ec73973
1 parent 5a403d5
commit ec73973
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 136 deletions.
diff --git a/minuska/_CoqProject b/minuska/_CoqProject
@@ -9,7 +9,6 @@ theories/spec_syntax.v
 theories/varsof.v
 theories/syntax_properties.v
 theories/semantics_properties.v
-theories/spec_lowlang_interpreter.v
 theories/spec_interpreter.v
 theories/valuation_merge.v
 

diff --git a/minuska/theories/spec_lowlang_interpreter.v b/minuska/theories/spec_lowlang_interpreter.v