simple fix (#935)

AD1024 · web-flow · commit 1afd8139284a · 2026-02-18T09:37:45.000-08:00
diff --git a/Src/PCompiler/CompilerCore/Backend/PVerifier/Uclid5CodeGenerator.cs b/Src/PCompiler/CompilerCore/Backend/PVerifier/Uclid5CodeGenerator.cs
@@ -1927,7 +1927,7 @@ private void GenerateStmt(IPStmt stmt, Machine specMachine, List<Invariant> goal
 
                         if (generateSanityChecks) {
                             EmitLine($"\tinvariant {InvariantPrefix}Unique_Actions(); // Failed to ensure unique action IDs at {GetLocation(fstmt)}");
-                            EmitLine($"\tinvariant{InvariantPrefix}Increasing_Action_Count(); // Failed to ensure increasing action IDs at {GetLocation(fstmt)}");
+                            EmitLine($"\tinvariant {InvariantPrefix}Increasing_Action_Count(); // Failed to ensure increasing action IDs at {GetLocation(fstmt)}");
                             EmitLine($"\tinvariant {InvariantPrefix}Received_Subset_Sent(); // Failed to ensure that received is a subset of sent at {GetLocation(fstmt)}");
                         }
                         // ensure uniqueness for the new ones too

Original file line number	Diff line number	Diff line change
`@@ -1927,7 +1927,7 @@ private void GenerateStmt(IPStmt stmt, Machine specMachine, List<Invariant> goal`
`1927`	`1927`
`1928`	`1928`	`if (generateSanityChecks) {`
`1929`	`1929`	`EmitLine($"\tinvariant {InvariantPrefix}Unique_Actions(); // Failed to ensure unique action IDs at {GetLocation(fstmt)}");`
`1930`		`- EmitLine($"\tinvariant{InvariantPrefix}Increasing_Action_Count(); // Failed to ensure increasing action IDs at {GetLocation(fstmt)}");`
	`1930`	`+ EmitLine($"\tinvariant {InvariantPrefix}Increasing_Action_Count(); // Failed to ensure increasing action IDs at {GetLocation(fstmt)}");`
`1931`	`1931`	`EmitLine($"\tinvariant {InvariantPrefix}Received_Subset_Sent(); // Failed to ensure that received is a subset of sent at {GetLocation(fstmt)}");`
`1932`	`1932`	`}`
`1933`	`1933`	`// ensure uniqueness for the new ones too`