X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;fp=src%2Fcsolver.h;h=16937ddd63827f67aaa46827dcdc371914dd0de6;hp=1bc24769a7edee9e78cf2025b0e855b8d3fbf423;hb=5e040993cc3173c0bce6c12bec127569b5d62c58;hpb=e0ee8656d201f77504bd239612969ce43636c324 diff --git a/src/csolver.h b/src/csolver.h index 1bc2476..16937dd 100644 --- a/src/csolver.h +++ b/src/csolver.h @@ -222,7 +222,7 @@ private: long long elapsedTime; long satsolverTimeout; friend class ElementOpt; - friend class VarOrderingOpt; + friend class VarOrderingOpt; }; inline CompOp flipOp(CompOp op) {