1.1 --- a/src/Tools/isac/Interpret/solve.sml	Wed Dec 21 11:27:22 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Thu Dec 22 10:25:49 2016 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  structure Solve =
     1.6  struct
     1.7 -(*open Ctree;*)
     1.8 +open Ctree;
     1.9  
    1.10  fun safe (ScrState (_,_,_,_,s,_)) = s
    1.11    | safe (RrlsState _) = Safe;
    1.12 @@ -137,7 +137,7 @@
    1.13  
    1.14  
    1.15  fun step2taci ((tac_, _, pt, p, _) : Lucin.step) = (*FIXXME.040312: redesign step*)
    1.16 -    (Lucin.tac_2tac tac_, tac_, (p, get_loc pt p)): Generate.taci;
    1.17 +    (Lucin.tac_2tac tac_, tac_, (p, Ctree.get_loc pt p)): Generate.taci;
    1.18  
    1.19  
    1.20  (*FIXME.WN050821 compare solve ... nxt_solv*)