diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/discharge.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/discharge.ml b/toplevel/discharge.ml index 9a55f5adfb..3240e9db51 100644 --- a/toplevel/discharge.ml +++ b/toplevel/discharge.ml @@ -204,7 +204,7 @@ let expmod_constr oldenv modlist c = | DOP2(Cast,c,t) -> (DOP2(Cast,f c,f t)) | c -> f c in - let c' = modify_opers expfun (fun a b -> mkAppL [|a; b|]) modlist c in + let c' = modify_opers expfun (fun a b -> mkAppL (a, [|b|])) modlist c in match c' with | DOP2 (Cast,val_0,typ) -> DOP2 (Cast,simpfun val_0,simpfun typ) | _ -> simpfun c' |