projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be7662b) | patch
Fix initialization order
authorAndres Notzli <andres.noetzli@gmail.com>
Thu, 8 Dec 2016 02:05:54 +0000 (18:05 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Fri, 9 Dec 2016 04:13:16 +0000 (20:13 -0800)
commit41de627bbda41923f6b5115700b5b98ce06a281a
tree9412a4a1c457b39246675265180ebcc09c9aebd4tree
parentbe7662bdcd3881d349bfba4c959a0c2be4159ce9commit | diff
Fix initialization order

This commit addresses the following warning:

```
warning: field 'd_negOne' will be initialized after field 'd_pivots'
[-Wreorder]
```
src/theory/arith/simplex.cpp diff | blob | history