Fixed mssing method and wront test name

tomhanika · Feb 11, 2025 · 7c6f9b2 · 7c6f9b2
1 parent 3f2deb8
commit 7c6f9b2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/src/main/clojure/conexp/fca/distributivity.clj b/src/main/clojure/conexp/fca/distributivity.clj
@@ -12,6 +12,7 @@
   (:require [conexp.base :refer :all]
             [conexp.fca.contexts :refer :all]
             [conexp.fca.implications :refer :all]
+            [conexp.fca.closure-systems :refer [all-closed-sets]]
             [clojure.set :refer [difference union subset? intersection]]))
 
 (defn birkhoff-downset-completion 

diff --git a/...jure/conexp/fca/non_monotonic_context.clj → ...conexp/fca/non_monotonic_context_test.clj b/...jure/conexp/fca/non_monotonic_context.clj → ...conexp/fca/non_monotonic_context_test.clj