diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-06-15 19:56:14 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-06-15 19:56:14 +0200 |
| commit | a8c6eeeaa321a84063e8492aca25942a07c00ddb (patch) | |
| tree | 9dc837006893ad9e92db939298ce336246b07a48 /engine/sigma.mli | |
| parent | 425c158e83e86471f5463e75cce2b6a6daa4e7c6 (diff) | |
Fix test-suite for opened bug #4813.
Diffstat (limited to 'engine/sigma.mli')
0 files changed, 0 insertions, 0 deletions