342 |
342 |
343 val (_, (ist, ctxt), sc) = |
343 val (_, (ist, ctxt), sc) = |
344 LItool.resume_prog thy' (p,p_) pt; |
344 LItool.resume_prog thy' (p,p_) pt; |
345 "~~~~~ fun resume_prog , args:"; val (thy, (p, p_), pt) = (thy', (p,p_), pt); |
345 "~~~~~ fun resume_prog , args:"; val (thy, (p, p_), pt) = (thy', (p,p_), pt); |
346 (*if*) Pos.on_specification (p, p_) (*else*); |
346 (*if*) Pos.on_specification (p, p_) (*else*); |
347 val (pbl, p', rls') = parent_node pt p |
347 val (pbl, p', rls') = parent_node pt pos |
348 (*if*) pbl (*then*); |
348 (*if*) pbl (*then*); |
349 val metID = get_obj g_metID pt p' |
349 val metID = get_obj g_metID pt p' |
350 (*["RootEq", "solve_sq_root_equation"] found for correction, which caused ERROR 2*) |
350 (*["RootEq", "solve_sq_root_equation"] found for correction, which caused ERROR 2*) |
351 |
351 |
352 (*\\------------------ end ERROR check ------------------------------------------------------//*) |
352 (*\\------------------ end ERROR check ------------------------------------------------------//*) |