# HG changeset patch
# User haftmann
# Date 1699542711 0
# Node ID ddf255a4ccc3e9c86e8d6a5e6641de185a61a461
# Parent  5e788ff7a48980a0b2ed6499ad102249e2d43ed2
weakened dependency

diff -r 5e788ff7a489 -r ddf255a4ccc3 src/HOL/SMT.thy
--- a/src/HOL/SMT.thy	Thu Nov 09 15:11:51 2023 +0000
+++ b/src/HOL/SMT.thy	Thu Nov 09 15:11:51 2023 +0000
@@ -6,7 +6,7 @@
 section \<open>Bindings to Satisfiability Modulo Theories (SMT) solvers based on SMT-LIB 2\<close>
 
 theory SMT
-  imports Divides Numeral_Simprocs
+  imports Numeral_Simprocs
   keywords "smt_status" :: diag
 begin