From ca50ee2ca5a4c0f4344c3ebef26e206a3a14fdfb Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <p.offtermatt@gmail.com>
Date: Mon, 2 Oct 2023 14:04:03 +0200
Subject: [PATCH] Try fixed bluespec

---
 tests/difference/core/quint_model/ccv_test.qnt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {