Merge pull request #14 from Herb-AI/herb-core

Add HerbCore dependency
Herb-AI · Jun 29, 2023 · b1a4c58 · b1a4c58
2 parents e90a944 + 7c79b9e
commit b1a4c58
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/HerbConstraints.jl b/src/HerbConstraints.jl
@@ -1,5 +1,6 @@
 module HerbConstraints
 
+using ..HerbCore
 using ..HerbGrammar
 
 abstract type PropagatorConstraint <: Constraint end