diff --git a/bin/common_trans.cc b/bin/common_trans.cc
index a0b21e945..ee990a1d3 100644
--- a/bin/common_trans.cc
+++ b/bin/common_trans.cc
@@ -198,12 +198,6 @@ void tools_push_autproc(const char* proc, bool is_ref)
                      is_ref);
 }
 
-void
-quoted_string::print(std::ostream& os, const char*) const
-{
-  spot::quote_shell_string(os, val().c_str());
-}
-
 void quoted_formula::print(std::ostream& os, const char* pos) const
 {
   spot::formula f = val_;
diff --git a/bin/common_trans.hh b/bin/common_trans.hh
index 37dae4746..9426cd692 100644
--- a/bin/common_trans.hh
+++ b/bin/common_trans.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015, 2016, 2017 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE).
+// Copyright (C) 2015-2018 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -62,12 +62,6 @@ extern std::vector<tool_spec> tools;
 void tools_push_trans(const char* trans, bool is_ref = false);
 void tools_push_autproc(const char* proc, bool is_ref = false);
 
-struct quoted_string final: public spot::printable_value<std::string>
-{
-  using spot::printable_value<std::string>::operator=;
-  void print(std::ostream& os, const char* pos) const override;
-};
-
 struct quoted_formula final: public spot::printable_value<spot::formula>
 {
   using spot::printable_value<spot::formula>::operator=;