diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/environ.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/environ.ml b/kernel/environ.ml index 77f470b8bf..fdfc540d26 100644 --- a/kernel/environ.ml +++ b/kernel/environ.ml @@ -213,7 +213,7 @@ let translucent_abst env = function let abst_value env = function | DOPN(Abst sp, args) -> - contract_abstraction (lookup_abst sp env) args + contract_abstraction (lookup_abst sp env) args | _ -> invalid_arg "abst_value" let defined_constant env = function |