diff options
| -rw-r--r-- | parsing/astterm.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/parsing/astterm.ml b/parsing/astterm.ml index 087cdb711b..af24760fc9 100644 --- a/parsing/astterm.ml +++ b/parsing/astterm.ml @@ -222,7 +222,9 @@ let rec collapse_env n env = if n=0 then env else *) let check_capture s ty = function - | Slam _ when occur_var_ast s ty -> error "Capturing variable" + | Slam _ when occur_var_ast s ty -> + errorlabstrm "check_capture" + [< 'sTR ("The variable "^s^" occurs in its type") >] | _ -> () let dbize k sigma = |