mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
use format from unit_prop_on_monomials branch
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
61319ffd85
commit
db097bae05
|
@ -1,4 +1,5 @@
|
|||
BasedOnStyle: Google
|
||||
IndentWidth: 4
|
||||
ColumnLimit: 0
|
||||
NamespaceIndentation: All
|
||||
NamespaceIndentation: All
|
||||
BreakBeforeBraces: Stroustrup
|
Loading…
Reference in a new issue