From ebba9b5776b154959721996ec67ed2f1b2dd3f92 Mon Sep 17 00:00:00 2001
From: Josef Widder <josef@informal.systems>
Date: Fri, 24 Nov 2023 15:02:29 +0100
Subject: [PATCH] bluespec

---
 Specs/Quint/parameterizedTest.qnt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Specs/Quint/parameterizedTest.qnt b/Specs/Quint/parameterizedTest.qnt
index 9c29bbaf1..cef260e93 100644
--- a/Specs/Quint/parameterizedTest.qnt
+++ b/Specs/Quint/parameterizedTest.qnt
@@ -1,3 +1,5 @@
+// -*- mode: Bluespec; -*-
+
 module parameterizedTest {
 
 import statemachineAsync(