diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-05-24 15:31:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-05-24 15:35:08 +0200 |
| commit | 1f0284e591c7315149509200239fc9c821c2c9dd (patch) | |
| tree | fe101b5f3b52211e8da8fd75765f44170d7632c6 /parsing | |
| parent | b0364eff4ec8ad5676060d8ca9cdbbb1d9c34d04 (diff) | |
Revert "Chasing the goal entering backward while interpreting tactics. This required"
I tested the commit on the wrong branch...
This reverts commit b0364eff4ec8ad5676060d8ca9cdbbb1d9c34d04.
Diffstat (limited to 'parsing')
0 files changed, 0 insertions, 0 deletions