diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-26 01:30:14 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-26 01:30:14 -0700 |
| commit | d48d1c9c8e74db97c0e7ae92a46177057455be99 (patch) | |
| tree | 6ebd7671cde1667b13e236105a300a3bd763d139 | |
| parent | 06034cac64207cc3ecbb8f6945619d62ba527d59 (diff) | |
style
| -rw-r--r-- | src/prop/cryptominisat.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cryptominisat.cpp b/src/prop/cryptominisat.cpp index 9e9553eb8..3795e131d 100644 --- a/src/prop/cryptominisat.cpp +++ b/src/prop/cryptominisat.cpp @@ -66,7 +66,7 @@ SatLiteral toSatLiteral(CMSat::Lit lit) } return SatLiteral(lit.var(), lit.sign()); -} // namespace +} } // helper functions |