diff -r 9267a04aabe6 -r 2f9877db82a1 src/HOL/Main.thy
--- a/src/HOL/Main.thy	Thu May 13 15:52:10 2021 +0200
+++ b/src/HOL/Main.thy	Fri May 14 21:32:11 2021 +0200
@@ -9,6 +9,7 @@
   imports
     Predicate_Compile
     Quickcheck_Narrowing
+    Mirabelle
     Extraction
     Nunchaku
     BNF_Greatest_Fixpoint