# HG changeset patch
# User wenzelm
# Date 1295982392 -3600
# Node ID 5490dc4d999dcb0c9f9eccbcf278ac2fb5b58d2c
# Parent  ed4d793f0c26a689866f73f8a251f16dd4829fa0
workaround for odd x86_64 problem in Poly/ML 5.4.0 (actually SVN 1151?), which causes unexpected nontermination of Isabelle/Scala document editing;

diff -r ed4d793f0c26 -r 5490dc4d999d src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Mon Jan 24 21:30:33 2011 +0100
+++ b/src/Pure/PIDE/document.ML	Tue Jan 25 20:06:32 2011 +0100
@@ -284,6 +284,7 @@
 fun edit (old_id: version_id) (new_id: version_id) edits state =
   let
     val old_version = the_version state old_id;
+    val _ = Time.now ();  (* FIXME odd workaround *)
     val new_version = fold edit_nodes edits old_version;
 
     fun update_node name (rev_updates, version, st) =