X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=history.cc;fp=history.cc;h=f84af3f0f4cd024e954fdf7c9e642b2510adb5ae;hp=c9c6ff6f06192cb318f8e5640ad4d84d5a522b54;hb=9b6c5d465f4a762dbe75baf2c293510ee6e9bd07;hpb=bd3decdede241f9d7f9ac745d47518099b9b36b5

diff --git a/history.cc b/history.cc
index c9c6ff6f..f84af3f0 100644
--- a/history.cc
+++ b/history.cc
@@ -502,15 +502,15 @@ void ModelHistory::print_func_node()
 		func_node->print_predicate_tree();
 
 /*
-		func_inst_list_mt * entry_insts = func_node->get_entry_insts();
-		model_print("function %s has entry actions\n", func_node->get_func_name());
-
-		mllnode<FuncInst*>* it;
-		for (it = entry_insts->begin();it != NULL;it=it->getNext()) {
-			FuncInst *inst = it->getVal();
-			model_print("type: %d, at: %s\n", inst->get_type(), inst->get_position());
-		}
-*/
+                func_inst_list_mt * entry_insts = func_node->get_entry_insts();
+                model_print("function %s has entry actions\n", func_node->get_func_name());
+
+                mllnode<FuncInst*>* it;
+                for (it = entry_insts->begin();it != NULL;it=it->getNext()) {
+                        FuncInst *inst = it->getVal();
+                        model_print("type: %d, at: %s\n", inst->get_type(), inst->get_position());
+                }
+ */
 	}
 }