Replace non ASCII character '–' in comments

- Crash on ubuntu 16.04 during 'make java'...
2018-09-10 13:32:30 +02:00
parent d840081ca6
commit f2989d319d
8 changed files with 10 additions and 10 deletions
--- a/ortools/sat/optimization.h
+++ b/ortools/sat/optimization.h
@@ -86,7 +86,7 @@ SatSolver::Status SolveWithFuMalik(LogBehavior log,
 //
 // Ansotegui, C., Bonet, M.L., Levy, J.: Solving (weighted) partial MaxSAT
 // through satisﬁability testing. In: Proc. of the 12th Int. Conf. on Theory and
-// Applications of Satisﬁability Testing (SAT’09). pp. 427–440 (2009)
+// Applications of Satisﬁability Testing (SAT’09). pp. 427-440 (2009)
 SatSolver::Status SolveWithWPM1(LogBehavior log,
                                const LinearBooleanProblem& problem,
                                SatSolver* solver, std::vector<bool>* solution);