summaryrefslogtreecommitdiff
path: root/backends/btor
diff options
context:
space:
mode:
authorLarry Doolittle <ldoolitt@recycle.lbl.gov>2015-08-14 13:22:17 -0700
committerClifford Wolf <clifford@clifford.at>2015-08-14 23:26:49 +0200
commit022f570563d8b067e9638bc91bbd168f4c5cb817 (patch)
tree66029502692ff5a3043f6099297c55aeff0a1f15 /backends/btor
parent03500748192dc93583c0e0f95640865603650714 (diff)
Keep gcc from complaining about uninitialized variables
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions