diff --git a/tests/difference/core/quint_model/ccv_test.qnt b/tests/difference/core/quint_model/ccv_test.qnt
index c01d886963..a6b09a1a60 100644
--- 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 {