From a1895a5b58aa0f06235ca1619ac0acd1fab78780 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 9 Nov 2018 16:42:33 +0100
Subject: Fix -top for univbinders output test.

It was good enough for the makefile but not for emacs.
---
 test-suite/output/UnivBinders.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test-suite/output/UnivBinders.v b/test-suite/output/UnivBinders.v
index 19d241d35d..ad901da72f 100644
--- a/test-suite/output/UnivBinders.v
+++ b/test-suite/output/UnivBinders.v
@@ -1,4 +1,5 @@
-(* coq-prog-args: ("-top" "UnivBinders") *)
+(* -*- coq-prog-args: ("-top" "UnivBinders"); -*- *)
+
 Set Universe Polymorphism.
 Set Printing Universes.
 (* Unset Strict Universe Declaration. *)
-- 
cgit v1.2.3