diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/term.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/term.ml b/kernel/term.ml index b464f4455b..513573b8a2 100644 --- a/kernel/term.ml +++ b/kernel/term.ml @@ -347,7 +347,7 @@ let isLambda c = match kind_of_term c with | Lambda _ -> true | _ -> false (* Destructs the let [x:=b:t1]t2 *) let destLetIn c = match kind_of_term c with | LetIn (x,b,t1,t2) -> (x,b,t1,t2) - | _ -> invalid_arg "destProd" + | _ -> invalid_arg "destLetIn" let isLetIn c = match kind_of_term c with LetIn _ -> true | _ -> false |