From e59d58b6db222332f7d7ad2adcb2b78c24fb351e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 7 Nov 2017 15:24:16 +0100
Subject: Fixes #5787 (printing of "constr:" lost in the move of constr to
 Generic).

Was broken since 8.6.
---
 test-suite/output/ltac.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/output/ltac.out b/test-suite/output/ltac.out
index c5d58ec1ec..7f3cdad6ce 100644
--- a/test-suite/output/ltac.out
+++ b/test-suite/output/ltac.out
@@ -32,7 +32,7 @@ nat
 0
 0
 Ltac foo :=
-  let x := intros ** in
+  let x := intros in
   let y := intros -> in
   let v := constr:(nil) in
   let w := () in
-- 
cgit v1.2.3