From 86e7ec3bd7b26b1d377c8397b62346f5e44f5d87 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 27 Jul 2017 16:50:25 +0200
Subject: Factorizing code for constructors and tuples.

---
 tests/stuff/ltac2.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/stuff')

diff --git a/tests/stuff/ltac2.v b/tests/stuff/ltac2.v
index 86ab5afb17..4950a20ec4 100644
--- a/tests/stuff/ltac2.v
+++ b/tests/stuff/ltac2.v
@@ -120,6 +120,7 @@ Abort.
 
 Goal True.
 Proof.
+
 let x () := plus (fun () => 0) (fun _ => 1) in
 match case x with
 | Val x =>
-- 
cgit v1.2.3