diff options
Diffstat (limited to 'pretyping/patternops.ml')
| -rw-r--r-- | pretyping/patternops.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pretyping/patternops.ml b/pretyping/patternops.ml index 6803ea7d9b..305ebf3dd5 100644 --- a/pretyping/patternops.ml +++ b/pretyping/patternops.ml @@ -153,6 +153,7 @@ let pattern_of_constr env sigma t = | Rel n -> PRel n | Meta n -> PMeta (Some (Id.of_string ("META" ^ string_of_int n))) | Var id -> PVar id + | Sort SProp -> PSort GSProp | Sort Prop -> PSort GProp | Sort Set -> PSort GSet | Sort (Type _) -> PSort (GType []) |