blob: f0fbece5af79e1d9c65ed063f9b51e6cfcb2dcb1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--- src/HOL/Tools/atp_manager.ML.orig 2009-10-18 10:37:58.000000000 +1100
+++ src/HOL/Tools/atp_manager.ML 2009-10-18 10:39:46.000000000 +1100
@@ -77,9 +77,9 @@
fun ord ((a, _), (b, _)) = Time.compare (a, b);
);
-val lookup_thread = AList.lookup Thread.equal;
-val delete_thread = AList.delete Thread.equal;
-val update_thread = AList.update Thread.equal;
+fun lookup_thread x = AList.lookup Thread.equal x;
+fun delete_thread x = AList.delete Thread.equal x;
+fun update_thread x = AList.update Thread.equal x;
(* state of thread manager *)
|
