diff options
Diffstat (limited to 'src/Assumed.ml')
| -rw-r--r-- | src/Assumed.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Assumed.ml b/src/Assumed.ml index c40387ea..fd11f30b 100644 --- a/src/Assumed.ml +++ b/src/Assumed.ml @@ -61,7 +61,7 @@ let box_deref_mut_sig = box_deref_sig true Rk.: following what is written above, we don't include `Box::free`. *) -let assumed_functions : (A.assumed_fun_id * A.fun_sig) list = +let assumed_sigs : (A.assumed_fun_id * A.fun_sig) list = [ (BoxNew, box_new_sig); (BoxDeref, box_deref_shared_sig); |