diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-11 11:48:34 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2015-02-11 11:48:34 +0100 |
| commit | 4edc539b83bddb2483b9c8ba1cf82fc81c717abd (patch) | |
| tree | ac6109af8e2e634ac98608ae159e1c976e57f318 /src/versions/native | |
| parent | ff9b5494cb1943339543eeac41683a8ec2dda437 (diff) | |
| download | smtcoq-4edc539b83bddb2483b9c8ba1cf82fc81c717abd.tar.gz smtcoq-4edc539b83bddb2483b9c8ba1cf82fc81c717abd.zip | |
Corrected a bug in the initialization of arrays for the standard version (the last element is the default)
Diffstat (limited to 'src/versions/native')
0 files changed, 0 insertions, 0 deletions