Fix

kth-step · Aug 29, 2024 · 87157d0 · 87157d0
1 parent 45bf1e6
commit 87157d0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/shared/smt/bir_smtLib.sml b/src/shared/smt/bir_smtLib.sml
@@ -48,6 +48,7 @@ fun holsmt_bir_check_unsat bexp =
 
 local
  open bir_smtlibLib;
+ open holba_z3Lib;
 in
  fun birsmt_check_unsat bexp =
   let