# HG changeset patch
# User wenzelm
# Date 1299163562 -3600
# Node ID 335895ffbd9416fb751a9bf103f91d9d90456586
# Parent  392364739e5d8cb130f638324b4330c1f93768a2
modernized imports;

diff -r 392364739e5d -r 335895ffbd94 src/HOL/Codegenerator_Test/Candidates.thy
--- a/src/HOL/Codegenerator_Test/Candidates.thy	Thu Mar 03 15:36:54 2011 +0100
+++ b/src/HOL/Codegenerator_Test/Candidates.thy	Thu Mar 03 15:46:02 2011 +0100
@@ -7,7 +7,7 @@
 imports
   Complex_Main
   Library
-  List_Prefix
+  "~~/src/HOL/Library/List_Prefix"
   "~~/src/HOL/Number_Theory/Primes"
   "~~/src/HOL/ex/Records"
 begin