1 files changed, 1 insertions, 4 deletions
diff --git a/theories/Arith/Arith.v b/theories/Arith/Arith.v
index b00d155ba..7af85c65a 100755
--- a/theories/Arith/Arith.v
+++ b/theories/Arith/Arith.v
@@ -30,10 +30,7 @@ Grammar constr pattern :=
   natural_pat [ nat:pat_number($c) ] -> [$c].
 
 Syntax constr
-  level  0:
-    myspecialvariable [ My_special_variable ] -> ["S"];
-
   level 10:
-  S [ (S $p) ] -> [$p:"nat_printer"]
+  S [ (S $p) ] -> [$p:"nat_printer":9]
 | O [ O ] -> [ "0" ]
 .