Add into the third one.

Author: NlightNFotis

src/goto-symex/symex_other.cpp

@@ -137,9 +137,9 @@ void goto_symext::symex_other(
     // 3. build an assignment where the type on lhs and rhs is:
     // - array_copy: the type of the first array (even if the second is smaller)
     // - array_replace: the type of the second array (even if it is smaller)
-  	DATA_INVARIANT(
-  		code.operands().size() == 2,
-  		"expected array_copy/array_replace statement to have two operands");
+    DATA_INVARIANT(
+      code.operands().size() == 2,
+      "expected array_copy/array_replace statement to have two operands");
 
     // we need to add dereferencing for both operands
     dereference_exprt dest_array(code.op0());