From a2cbf0af3abcfd91225c8ab125af21250385934c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 26 Sep 2017 21:46:42 +0200
Subject: [PATCH] sanity: also check the 80-column limit in bin

* tests/sanity/80columns.test: Check bin sources.
* bin/ltlsynt.cc: Fix it.
---
 bin/ltlsynt.cc              | 6 ++++--
 tests/sanity/80columns.test | 4 ++--
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index 625a62aa8..a59bb20bc 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -643,8 +643,10 @@ namespace
                   std::cout << "REALIZABLE\n";
                   if (!opt_real)
                     {
-                      auto strat_aut = strat_to_aut(pg, strategy, dpa, all_outputs);
-                      auto circuit = aut_to_aiger(strat_aut, all_inputs, all_outputs);
+                      auto strat_aut =
+                        strat_to_aut(pg, strategy, dpa, all_outputs);
+                      auto circuit =
+                        aut_to_aiger(strat_aut, all_inputs, all_outputs);
                       circuit.print();
                     }
                 }
diff --git a/tests/sanity/80columns.test b/tests/sanity/80columns.test
index 5b358ba07..0c4b086ca 100755
--- a/tests/sanity/80columns.test
+++ b/tests/sanity/80columns.test
@@ -1,6 +1,6 @@
 #! /bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2012, 2016 Laboratoire de Recherche et Développement de
+# Copyright (C) 2012, 2016, 2017 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 # Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6
 # (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@@ -42,7 +42,7 @@ fi
 x="$x$x$x$x$x$x$x$x$x" # 9x
 x="$x$x$x$x$x$x$x$x$x" # 81x
 
-for dir in "${srcdir-.}/../../spot" "${srcdir-.}/.."; do
+for dir in "${srcdir-.}/../../spot" "${srcdir-.}/../../bin" "${srcdir-.}/.."; do
 
   find "$dir" \(    -name "${1-*}.hh" \
                  -o -name "${1-*}.hxx" \