1.1 --- a/src/Tools/isac/ProgLang/Script.thy	Mon Sep 13 17:21:22 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Script.thy	Mon Sep 13 18:12:15 2010 +0200
     1.3 @@ -185,7 +185,7 @@
     1.4  
     1.5  val negotiable = Unsynchronized.ref ((!tacs (*@ !subpbls*)));
     1.6  
     1.7 -val tacpbl = ref
     1.8 +val tacpbl = Unsynchronized.ref
     1.9    (distinct (remove op = "" (!tacs (*@ !subpbls*))));
    1.10  (*--^^^----- SHIFT? or delete ?*)
    1.11