src/Pure/ROOT.ML
changeset 52537 4b5941730bd8
parent 52536 3a35ce87a55c
child 52584 5cad4a5f5615
--- a/src/Pure/ROOT.ML	Fri Jul 05 22:58:24 2013 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 05 23:10:18 2013 +0200
@@ -22,6 +22,7 @@
 use "Concurrent/synchronized.ML";
 if Multithreading.available then ()
 else use "Concurrent/synchronized_sequential.ML";
+use "Concurrent/counter.ML";
 
 use "General/properties.ML";
 use "General/output.ML";