Try fixed bluespec

cosmos · Oct 2, 2023 · ca50ee2 · ca50ee2
1 parent 9e4f9c4
commit ca50ee2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/difference/core/quint_model/ccv_test.qnt b/tests/difference/core/quint_model/ccv_test.qnt
@@ -1,4 +1,4 @@
-// -- mode: Bluespec; --
+// -*- mode: Bluespec; -*-
 
 // contains test logic for the stateless functions in the CCV module
 module CCVTest {