fix #7081

agda · Feb 2, 2024 · a445e3b · a445e3b
1 parent 4b27a3a
commit a445e3b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/full/Agda/Main.hs b/src/full/Agda/Main.hs
@@ -288,10 +288,10 @@ printVersion backends PrintAgdaVersion = do
     "debug: enable debug printing ('-v' verbosity flags)" :
 #endif
 #ifdef DEBUG_PARSING
-    "debug-parsing: enable printing grammars for operator parsing via '-v scope.grammar:10'"
+    "debug-parsing: enable printing grammars for operator parsing via '-v scope.grammar:10'" :
 #endif
 #ifdef DEBUG_SERIALISATION
-    "debug-serialisation: extra debug info during serialisation into '.agdai' files"
+    "debug-serialisation: extra debug info during serialisation into '.agdai' files" :
 #endif
     []