diff options
| author |  Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2014-10-01 23:12:51 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2014-10-01 23:15:34 +0200 |
| commit | b9a6247ddc52082065b56f296c889c41167e0507 (patch) | |
| tree | 616916af0ae9db831dbf6117a0d5564dd793c63f /theories/NArith | |
| parent | c722207793eca59476152cc56329dc7a76ab0106 (diff) | |
Fix cbn behavior wrt simpl no match
Diffstat (limited to 'theories/NArith')
0 files changed, 0 insertions, 0 deletions