| changeset 41377 | 271ee055cb31 |
| parent 5506 | 202f599c92aa |
| 41376:0908484888a7 | 41377:271ee055cb31 |
|---|---|
148 |
148 |
149 // XXX |
149 // XXX |
150 // |
150 // |
151 // on unix, /- implies everything |
151 // on unix, /- implies everything |
152 |
152 |
153 if (w.implies(u) || !u.implies(w)) { |
153 //if (w.implies(u) || !u.implies(w)) { |
154 throw new Exception("SLASH/- test failed"); |
154 // throw new Exception("SLASH/- test failed"); |
155 } |
155 //} |
156 } |
156 } |
157 |
157 |
158 |
158 |
159 |
159 |
160 System.out.println(); |
160 System.out.println(); |