oops

conjure-cp · Dec 14, 2024 · dac1871 · dac1871
1 parent 18b2b15
commit dac1871
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Conjure/Rules/DontCare.hs b/src/Conjure/Rules/DontCare.hs
@@ -86,6 +86,7 @@ rule_Matrix = "dontCare-matrix" `namedRule` theRule where
     theRule p = do
         x                    <- match opDontCare p
         indices <- indexDomainsOf x
+        when (null indices) $ na "rule_Matrix"
         return
             ( "dontCare handling for matrix"
             , do