From 95d12fe607193809e6c6f9cdf62d01a9cd694b6f Mon Sep 17 00:00:00 2001
From: Makai Mann <makaim@stanford.edu>
Date: Thu, 14 May 2020 10:47:34 -0700
Subject: [PATCH] Enable array index flattening

---
 prophic3/rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
 }