1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/tableau.h b/src/theory/arith/tableau.h
index a69493ee0..88a5c2317 100644
--- a/src/theory/arith/tableau.h
+++ b/src/theory/arith/tableau.h
@@ -83,7 +83,7 @@ public:
 
   void pivot(ArithVar x_j);
 
-  void subsitute(Row& row_s);
+  void substitute(Row& row_s);
 
   void printRow();
 };