From 2e04c176e115bbd85c56e15a158443af1eddbdf0 Mon Sep 17 00:00:00 2001
From: janmroczkowski <jan.mroczkowski@diffblue.com>
Date: Fri, 1 Sep 2017 19:10:02 +0100
Subject: [PATCH] Replace syntactic_difft pointer by automatic variable

---
 src/goto-diff/goto_diff_parse_options.cpp | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/src/goto-diff/goto_diff_parse_options.cpp b/src/goto-diff/goto_diff_parse_options.cpp
index 8fd0f19ca06..c0be3f06694 100644
--- a/src/goto-diff/goto_diff_parse_options.cpp
+++ b/src/goto-diff/goto_diff_parse_options.cpp
@@ -319,14 +319,10 @@ int goto_diff_parse_optionst::doit()
     return 0;
   }
 
-  std::unique_ptr<goto_difft> goto_diff=
-    util_make_unique<syntactic_difft>(
-      goto_model1, goto_model2, get_message_handler());
-  goto_diff->set_ui(get_ui());
-
-  (*goto_diff)();
-
-  goto_diff->output_functions(std::cout);
+  syntactic_difft sd(goto_model1, goto_model2, get_message_handler());
+  sd.set_ui(get_ui());
+  sd();
+  sd.output_functions(std::cout);
 
   return 0;
 }