diff options
Diffstat (limited to 'tactics/pattern.ml')
| -rw-r--r-- | tactics/pattern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/pattern.ml b/tactics/pattern.ml index fc5b6a4466..3038933e9a 100644 --- a/tactics/pattern.ml +++ b/tactics/pattern.ml @@ -35,7 +35,7 @@ let raw_sopattern_of_compattern env com = let parse_pattern s = let com = try - Pcoq.parse_string Pcoq.Command.command_eoi s + Pcoq.parse_string Pcoq.Constr.constr_eoi s with Stdpp.Exc_located (_ , (Stream.Failure | Stream.Error _)) -> error "Malformed pattern" in |