add haskell attribute to SET-KORE-SYMBOLIC (#3495)

runtimeverification · Jul 10, 2023 · 5c9cae7 · 5c9cae7
1 parent e205ec6
commit 5c9cae7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/include/kframework/builtin/domains.md b/k-distribution/include/kframework/builtin/domains.md
@@ -814,7 +814,7 @@ The following lemmas are simplifications that the Haskell backend can
 apply to simplify expressions of sort `Set`.
 
 ```k
-module SET-KORE-SYMBOLIC [kore,symbolic]
+module SET-KORE-SYMBOLIC [kore,symbolic,haskell]
   imports SET
   imports private K-EQUAL
   imports private BOOL