From a31ba7ff80ae30df65fe81f01c448647873d4e78 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 24 Nov 2017 14:44:05 +0100
Subject: [PATCH] rename one printable_formula

We currently have 3 printable_formula classes in Spot; let's reduce
this to 2.

* bin/common_output.cc (anonymous::printable_formula): Rename to...
(anonymous::printable_formula_with_location): ... this.
---
 bin/common_output.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/common_output.cc b/bin/common_output.cc
index e28761159..0d47928c3 100644
--- a/bin/common_output.cc
+++ b/bin/common_output.cc
@@ -181,11 +181,11 @@ namespace
     }
   };
 
-  class printable_formula final:
+  class printable_formula_with_location final:
     public spot::printable_value<const formula_with_location*>
   {
   public:
-    printable_formula&
+    printable_formula_with_location&
     operator=(const formula_with_location* new_val)
     {
       val_ = new_val;
@@ -256,7 +256,7 @@ namespace
 
   private:
     const char* format_;
-    printable_formula fl_;
+    printable_formula_with_location fl_;
     printable_timer timer_;
     spot::printable_value<const char*> filename_;
     spot::printable_value<int> line_;