Merge pull request #218 from mrhaandi/fix-Arguments-typo

fix Arguments typo
uds-psl · Mar 26, 2024 · 138245c · 138245c
2 parents 19f220f + 1943395
commit 138245c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/TM/Util/TM_facts.v b/theories/TM/Util/TM_facts.v
@@ -249,7 +249,7 @@ Proof. erewrite VectorSpec.nth_map2; eauto. Qed.
 
 
 (* Set Notation scopes for tapes, so that the alphabet of the tape is parsed as a type (e.g. [X+Y] is parsed as the sum type, not the addition of [X] and [Y]) *)
-Arguments tapes (sig %__ type) (n %__ nat).
+Arguments tapes (sig %_ type) (n %_ nat).
 
 
 (* ** Nop Action *)