Add bluespec to expraSpells.qnt

cosmos · Aug 25, 2023 · 6c91866 · 6c91866
1 parent a1d57ef
commit 6c91866
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/difference/core/quint_model/extraSpells.qnt b/tests/difference/core/quint_model/extraSpells.qnt
@@ -1,3 +1,4 @@
+-*- mode: Bluespec; -*-
 module extraSpells {
 
   pure def prepend(__list: List[a], __elem: a): List[a] = {
@@ -188,4 +189,4 @@ module extraSpells {
         __set.union(Set(elem))
     }
 
-}
+}