write fix

Bochlin · Jul 17, 2015 · 2d21618 · 2d21618
1 parent 4fc633f
commit 2d21618
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/mumps/mumps.g4 b/mumps/mumps.g4
@@ -140,7 +140,7 @@ kill_
  ;
 
 write_
- : (WRITE1 | WRITE2) SPACE* arglist
+ : (WRITE | 'W') SPACE* arglist
  ;
 
 quit_
@@ -269,14 +269,10 @@ VIEW
  : V I E W
  ;
 
-WRITE1
+WRITE
  : W R I T E
  ;
 
-WRITE2
- : W
- ;
-
 XECUTE
  : X E C U T E
  ;