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 /examples/example.ml | |
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 'examples/example.ml')
0 files changed, 0 insertions, 0 deletions