diff options
Diffstat (limited to 'interp/constrexpr_ops.ml')
| -rw-r--r-- | interp/constrexpr_ops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/constrexpr_ops.ml b/interp/constrexpr_ops.ml index 602c2314a..e9dae6421 100644 --- a/interp/constrexpr_ops.ml +++ b/interp/constrexpr_ops.ml @@ -345,5 +345,5 @@ let rec raw_cases_pattern_expr_of_glob_constr looked_for = function RCPatCstr (loc, g,[],[]) | GApp (loc,GRef (_,g),l) -> looked_for g; - RCPatCstr (loc, g,[],List.map (raw_cases_pattern_expr_of_glob_constr looked_for) l) + RCPatCstr (loc, g,List.map (raw_cases_pattern_expr_of_glob_constr looked_for) l,[]) | _ -> raise Not_found |