diff --git a/prophic3/rewriter.cpp b/prophic3/rewriter.cpp
index 04eb564..6b3c4df 100644
--- a/prophic3/rewriter.cpp
+++ b/prophic3/rewriter.cpp
@@ -12,7 +12,7 @@ Rewriter::Rewriter(const TransitionSystem &ts) :
     rewritten_ts_(ts.get_env())
 {
     do_flattening();
-    //    do_flatten_array_indices();
+    do_flatten_array_indices();
     do_rewriting();
 }