add a comment to the integration test

informalsystems · Sep 12, 2023 · e34875d · e34875d
1 parent aed68e9
commit e34875d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/quint/testFixture/simulator/lastActionInRun.qnt b/quint/testFixture/simulator/lastActionInRun.qnt
@@ -1,3 +1,5 @@
+// See:
+// https://github.com/informalsystems/quint/issues/1133
 module lastActionInRun {
     var s: str