Merge pull request #221 from mrhaandi/faster-StepTM

improve performance of TM/Single/StepTM.v
uds-psl · May 10, 2024 · 46d8878 · 46d8878
2 parents a32c928 + ddbb9ba
commit 46d8878
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/TM/Single/StepTM.v b/theories/TM/Single/StepTM.v
@@ -384,7 +384,7 @@ Section ToSingleTape.
   Notation nMax := (finMax' n).
   Local Arguments finMax' : simpl never.
 
-  Notation sigSim := (FinType(EqType(boundary + sigList (sigTape sig)))).
+  Definition sigSim := (FinType(EqType(boundary + sigList (sigTape sig)))).
 
   Implicit Types (T : tapes sig n).