Merge remote-tracking branch 'origin/develop'

runtimeverification · Jul 10, 2023 · 3105b60 · 3105b60
2 parents 3a744a4 + 5c9cae7
commit 3105b60
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