1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/lucas_interpreter.sml	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/lucas_interpreter.sml	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4    (*etc*)
     1.5  end;                               
     1.6  
     1.7 -structure KEStore_Elems: KESTORE_ELEMS =
     1.8 +structure Test_KEStore_Elems: KESTORE_ELEMS =
     1.9  struct
    1.10    fun union_overwrite eq l1 l2 = fold (insert eq) l2 (*..swapped..*) l1;
    1.11