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

Start removing ctx_var

Browse Source
This commit is contained in:
Aymeric Fromherz 2022-11-16 21:36:21 +01:00
parent f7fd02266e
commit 43fa3ba550
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -650,7 +650,7 @@ and translate_expr (ctx : context) (vc : typed expr) : context * Expr.expr =
match Var.Map.find_opt v ctx.ctx_z3matchsubsts with
| None ->
(* We are in the standard case, where this is a true Catala variable *)
let t = Var.Map.find v ctx.ctx_var in
let (Typed { ty = t; _ }) = Marked.get_mark vc in
let name = unique_name v in
let ctx = add_z3var name v ctx in
let ctx, ty = translate_typ ctx (Marked.unmark t) in