diff options
author | Escherichia | 2024-03-22 15:59:22 +0100 |
---|---|---|
committer | Escherichia | 2024-03-28 15:25:52 +0100 |
commit | 76fda6b5d205a4422c2360b676227690714c9ac5 (patch) | |
tree | 3e1a69d896afd9ff2277c83d9d8926d3864ff882 /compiler/InterpreterStatements.ml | |
parent | 5209cea7012cfa3b39a5a289e65e2ea5e166d730 (diff) |
Still need to fill the TODO: error message and check some meta but it builds
Diffstat (limited to 'compiler/InterpreterStatements.ml')
-rw-r--r-- | compiler/InterpreterStatements.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml index e71b7b68..b71daac5 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -1551,7 +1551,7 @@ and eval_function_body (meta : Meta.meta) (config : config) (body : statement) : * checking the invariants *) let cc = greedy_expand_symbolic_values body.meta config in (* Sanity check *) - let cc = comp_check_ctx cc (Invariants.check_invariants meta) in + let cc = comp_check_ctx cc (Invariants.check_invariants meta) in (* Check if right meta *) (* Continue *) cc (cf res) in |