bluespec (#83)

informalsystems · Nov 24, 2023 · c6c695e · c6c695e
1 parent ce7a130
commit c6c695e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Specs/Quint/parameterizedTest.qnt b/Specs/Quint/parameterizedTest.qnt
@@ -1,3 +1,5 @@
+// -*- mode: Bluespec; -*-
+
 module parameterizedTest {
 
 import statemachineAsync(