diff options
Diffstat (limited to 'src/jib/jib_smt_fuzz.ml')
| -rw-r--r-- | src/jib/jib_smt_fuzz.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_smt_fuzz.ml b/src/jib/jib_smt_fuzz.ml index 58665bde..68e5751d 100644 --- a/src/jib/jib_smt_fuzz.ml +++ b/src/jib/jib_smt_fuzz.ml @@ -187,7 +187,7 @@ let fuzz_cdef ctx all_cdefs = function let jib = let gs = ngensym () in - [ifuncall (CL_id (gs, ret_ctyp)) (id, []) (List.map snd values)] + [ifuncall (id_loc id) (CL_id (gs, ret_ctyp)) (id, []) (List.map snd values)] @ gen_assertion ret_ctyp result gs @ [iend ()] in |