diff options
| -rw-r--r-- | parsing/termast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/termast.ml b/parsing/termast.ml index 796798be9a..34b6cf65b6 100644 --- a/parsing/termast.ml +++ b/parsing/termast.ml @@ -228,7 +228,7 @@ let rec ast_of_raw = function | ROldCase (_,isrec,typopt,tm,bv) -> warning "Old Case syntax"; - ope("MUTCASE",(ast_of_rawopt typopt) + ope("CASE",(ast_of_rawopt typopt) ::(ast_of_raw tm) ::(Array.to_list (Array.map ast_of_raw bv))) | RRec (_,fk,idv,tyv,bv) -> |