diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 7ea62797a..14289058d 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -10,7 +10,7 @@
 #include "math/lp/lar_solver.h"
 #include "math/lp/lp_utils.h"
 /*
-    Following paper: "A Practical Approach to Satisfiability  Modulo Linear
+   Following paper: "A Practical Approach to Satisfiability  Modulo Linear
    Integer Arithmetic" by Alberto Griggio(griggio@fbk.eu).
     Data structures are:
     -- term_o: inherits lar_term and differs from it by having a constant, while