diff options
| author |  rustanleino <unknown> | 2009-10-14 01:27:14 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-10-14 01:27:14 +0000 |
| commit | d2baa552e457e5b3cf7654f3836da5c96ad1c987 (patch) | |
| tree | ae9a5123041a908f64eb82c1710b644626f82f9c /Source/VCExpr/TermFormulaFlattening.ssc | |
| parent | 2e2622a8746e85b8b704ec70adfd35d730e25c19 (diff) | |
Evidently, Z3 does not like QID's to start with a digit. If a Boogie filename starts with a digit, don't just prepend it to a QID, but prepend another character ('_') first.
This fixes issue 5278 in the Issue Tracker.
Diffstat (limited to 'Source/VCExpr/TermFormulaFlattening.ssc')
0 files changed, 0 insertions, 0 deletions