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(