diff options
Diffstat (limited to 'engine')
| -rw-r--r-- | engine/evarutil.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/engine/evarutil.ml b/engine/evarutil.ml index c5dfe30332..4506fddb5f 100644 --- a/engine/evarutil.ml +++ b/engine/evarutil.ml @@ -192,6 +192,7 @@ let head_evar = | Case (_,_,c,_) -> hrec c | App (c,_) -> hrec c | Cast (c,_,_) -> hrec c + | Proj (p, c) -> hrec c | _ -> raise NoHeadEvar in hrec |