| commit | 01e7d03425e2a3c38b2acade595757c40c27c574 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Dec 30 17:59:33 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Dec 30 17:59:33 2010 +0000 |
| tree | 5eb8279c14fccd9ccb0880ed30bc4849ad88f3d7 | |
| parent | c7f1111beb74267bfc86a1d1f2a36d50e1cda186 [diff] |
fix test4127_precedenceDeclaration7() for otredyn: - catch LiftingVetoException (old OTRE inserts this at load time).