Skip to content

Commit

Permalink
fix Arguments typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@mrhaandi
mrhaandi committed Mar 26, 2024
1 parent 19f220f commit 1943395
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion theories/TM/Util/TM_facts.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 *)
Expand Down

0 comments on commit 1943395

Please sign in to comment.