| commit | c7f1111beb74267bfc86a1d1f2a36d50e1cda186 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Dec 30 17:45:39 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Dec 30 17:45:39 2010 +0000 |
| tree | 0092af2badec8fa1f7d606a5cd9aab85af95d8d5 | |
| parent | 3d26b9c1ca9bdb5ce74e384a3791a0993555b8b5 [diff] |
fix test4127_precedenceDeclaration7() for otredyn: - catch LiftingVetoException (old OTRE inserts this at load time).