# HG changeset patch
# User wenzelm
# Date 1125758816 -7200
# Node ID f197d8e8d4d25b4c877dcce74915ecb2c8851c5e
# Parent  23ccd02bbba66aeb2a9b0304962ac9d0087419cd
use Check.ML;

diff -r 23ccd02bbba6 -r f197d8e8d4d2 src/HOLCF/IOA/ABP/ROOT.ML
--- a/src/HOLCF/IOA/ABP/ROOT.ML	Sat Sep 03 16:46:20 2005 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML	Sat Sep 03 16:46:56 2005 +0200
@@ -7,4 +7,5 @@
 
 goals_limit := 1;
 
+use "Check";
 time_use_thy "Correctness";