Add bluespec to ccv.qnt

cosmos · Aug 25, 2023 · a1d57ef · a1d57ef
1 parent 78e890a
commit a1d57ef
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
@@ -1,3 +1,4 @@
+-*- mode: Bluespec; -*-
 module ccv {
     import extraSpells.* from "./extraSpells"