diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-06-06 23:09:10 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-06-06 23:09:10 -0600 |
| commit | d7fc0deb2ca6d7ebee094b6ea5430d9b41f163ec (patch) | |
| tree | 3b02653deec0d13981967d555f51379c89e36c4d | |
| parent | 29544b322eec0a0e630e2c7f8fe472793cf8f405 (diff) | |
spacing change
| -rw-r--r-- | Test/z3api/bar1.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/z3api/bar1.bpl b/Test/z3api/bar1.bpl index 22d87f90..845954d5 100644 --- a/Test/z3api/bar1.bpl +++ b/Test/z3api/bar1.bpl @@ -1,4 +1,4 @@ - var x: int;
+var x: int;
var y: int;
procedure {:inline 1} bar()
|