CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

cleanup

Browse Source
This commit is contained in:
Aymeric Fromherz 2023-03-28 13:00:07 +09:00
parent 71ebd3a2c7
commit c711b0b1d7
2 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
compiler/verification/.z3backend.real.ml.swp
View File

Binary file not shown.

1
compiler/verification/z3backend.real.ml
View File

@ -742,7 +742,6 @@ and translate_expr (ctx : context) (vc : typed expr) : context * Expr.expr =
| EArray _ -> failwith "[Z3 encoding] EArray unsupported"
| ELit l -> ctx, translate_lit ctx l
| EAbs _ -> failwith "[Z3 encoding] EAbs unsupported"
| EApp { f = head; args = [] } -> failwith "[Z3 encoding] let in"
| EApp { f = head; args } -> (
match Marked.unmark head with
| EOp { op; _ } -> translate_op ctx op args