add --keep-pattern-variables to options that don't require recompilat…

…ion (#7060) fixes #7059
agda · Jan 12, 2024 · 45146aa · 45146aa
1 parent 561fdc2
commit 45146aa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/full/Agda/Interaction/Options/Base.hs b/src/full/Agda/Interaction/Options/Base.hs
@@ -1088,6 +1088,7 @@ recheckBecausePragmaOptionsChanged used current =
     , _optCountClusters             = empty
     , _optPrintPatternSynonyms      = empty
     , _optShowIdentitySubstitutions = empty
+    , _optKeepPatternVariables      = empty
     }
 
 -- | Infective or coinfective?