From 5c9cae78ba55607ee6f5f46b4465f8685d523076 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Mon, 10 Jul 2023 03:29:16 -0500
Subject: [PATCH] add haskell attribute to SET-KORE-SYMBOLIC (#3495)

---
 k-distribution/include/kframework/builtin/domains.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/k-distribution/include/kframework/builtin/domains.md b/k-distribution/include/kframework/builtin/domains.md
index 59c2d3e37d9..fce08992e9c 100644
--- 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