From 687d31dcad76fa609ff06fb053030db886f393a6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 22 Oct 2014 18:06:49 +0200
Subject: Fixing typo in output test Notations.

---
 test-suite/output/Notations.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/output/Notations.out b/test-suite/output/Notations.out
index 0bf922f647..7856bb6f62 100644
--- a/test-suite/output/Notations.out
+++ b/test-suite/output/Notations.out
@@ -118,7 +118,7 @@ fun x : list ?T0 => match x with
      : list ?T0 -> option (list ?T0)
 where
 ?T0 : [x : list ?T0 |- Type] (x cannot be used)
- s
+s
      : s
 10
      : nat
-- 
cgit v1.2.3