back up polyml Thread structure

HOL-Theorem-Prover · Nov 14, 2024 · 3d78d81 · 3d78d81
1 parent 20530ab
commit 3d78d81
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/portableML/poly/ConcIsaLib.sml b/src/portableML/poly/ConcIsaLib.sml
@@ -2,4 +2,5 @@ structure Mutex = Thread.Mutex;
 structure ConditionVar = Thread.ConditionVar;
 exception Thread = Thread.Thread
 
+structure PolyThread = Thread;
 structure Thread = Thread.Thread;