# HG changeset patch
# User wenzelm
# Date 1211652321 -7200
# Node ID 0e7ba2749d70cc3c158d339c069c4872cc3b0c5f
# Parent  f7f48bb9a0254d1271a130989413e235bd24a4b4
use: explicit .ML;

diff -r f7f48bb9a025 -r 0e7ba2749d70 src/HOLCF/IOA/ABP/ROOT.ML
--- a/src/HOLCF/IOA/ABP/ROOT.ML	Sat May 24 14:47:43 2008 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML	Sat May 24 20:05:21 2008 +0200
@@ -7,5 +7,5 @@
 
 goals_limit := 1;
 
-use "Check";
+use "Check.ML";
 time_use_thy "Correctness";