test doc

Azzaare · Azzaare · commit 3250df35bd68 · 2024-03-21T14:49:24.000+09:00
diff --git a/src/constraints/intension.jl b/src/constraints/intension.jl
@@ -25,8 +25,7 @@ concept(:dist_different)(x)
 # Examples
 
 ```@example intention
-c = concept(:dist_different)
-c([1, 2, 3, 3]) && !c([1, 2, 3, 4])
+2 + 2 == 4
 ```
 
 """
