Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 63669 256fc20716f2
parent 63239 d562c9948dee
child 63671 eb4f59275c05 
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Aug 11 18:26:16 2016 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Aug 11 18:26:44 2016 +0200
@@ -199,10 +199,10 @@
 (** invocation of Haskell interpreter **)
 
 val narrowing_engine =
-  File.read @{path "~~/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs"}
+  File.read @{"file" "~~/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs"}
 
 val pnf_narrowing_engine =
-  File.read @{path "~~/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs"}
+  File.read @{"file" "~~/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs"}
 
 fun exec verbose code =
   ML_Context.exec (fn () =>
isabelle