diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 7898c2701..8b97e5ff9 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -185,7 +185,7 @@ let bigarray_set arr arg newval = "", newval])) let mktype_kind pflag kind = - if pflag = Private && kind != Ptype_abstract then Ptype_virtual kind else kind + if pflag = Private && kind != Ptype_abstract then Ptype_private kind else kind %} |