removed the debug output from linked_list_mr_solver.saw

Author: Eddy Westbrook

heapster-saw/examples/linked_list_mr_solver.saw

@@ -76,4 +76,4 @@ monadify_term {{ cons }};
 
 sorted_insert_no_malloc <- parse_core_mod "linked_list" "sorted_insert_no_malloc";
 run_test "sorted_insert_no_malloc |= sorted_insert_spec"
-  (mr_solver_debug 3 sorted_insert_no_malloc {{ sorted_insert_spec }}) true;
+  (mr_solver sorted_insert_no_malloc {{ sorted_insert_spec }}) true;