From 63116ff79ca8b9932fd9ecb05922062fd30fa737 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Sun, 22 Jan 2017 09:42:41 +0100
Subject: [PATCH] Fixes #205.

* tests/core/hierarchy.test: here.
---
 tests/core/hierarchy.test | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/core/hierarchy.test b/tests/core/hierarchy.test
index c44f28f37..7db4ffb62 100755
--- a/tests/core/hierarchy.test
+++ b/tests/core/hierarchy.test
@@ -52,7 +52,7 @@ test "$(echo $(genltl --dac --format='%h') | sed 's/ //g')" = \
 # Implementations of uniq differ in the number of leading spaces, so
 # we remove them all.
 genltl --dac --format='%[vw]h' | sort | uniq -c |
-    sed 's/^ *\([0-9]\+\) \+/\1 /g' >out
+    sed 's/^ *\([0-9][0-9]*\)  */\1 /g' >out
 cat >expected <<EOF
 1 guarantee obligation persistence recurrence reactivity
 2 obligation persistence recurrence reactivity