diff options
Diffstat (limited to 'src/Assumed.ml')
| -rw-r--r-- | src/Assumed.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Assumed.ml b/src/Assumed.ml index 527b2395..38e539b4 100644 --- a/src/Assumed.ml +++ b/src/Assumed.ml @@ -271,9 +271,9 @@ let get_assumed_sig (id : A.assumed_fun_id) : A.fun_sig = let _, sg, _, _ = get_assumed_info id in sg -let get_assumed_name (id : A.assumed_fun_id) : Identifiers.name = +let get_assumed_name (id : A.assumed_fun_id) : Identifiers.fun_name = let _, _, _, name = get_assumed_info id in - name + Identifiers.Regular name let assumed_is_monadic (id : A.assumed_fun_id) : bool = let _, _, b, _ = get_assumed_info id in |