equal
deleted
inserted
replaced
107 let val ptp = Specify.do_all (pt, pos); |
107 let val ptp = Specify.do_all (pt, pos); |
108 in Solve.all_solve auto c ptp end (*... auto = 4 | 5 | 6 *) |
108 in Solve.all_solve auto c ptp end (*... auto = 4 | 5 | 6 *) |
109 else |
109 else |
110 if member op = [Pos.Pbl, Pos.Met] p_ |
110 if member op = [Pos.Pbl, Pos.Met] p_ |
111 then |
111 then |
112 if not (Specification.is_complete_mod (pt, pos)) |
112 if not (Specification.is_complete (pt, pos)) |
113 then |
113 then |
114 let val ptp = Specify.finish_phase (pt, pos) (*... auto = 2 | 3 *) |
114 let val ptp = Specify.finish_phase (pt, pos) (*... auto = 2 | 3 *) |
115 in |
115 in |
116 if Solve.autoord auto < 3 then ("ok", c, ptp) |
116 if Solve.autoord auto < 3 then ("ok", c, ptp) |
117 else |
117 else |