From 3fe764dd8d6578adddb01b02bafc7f31d9cb776c Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sun, 2 Apr 2017 11:20:21 +0200
Subject: Fix higher-order pattern variables not being printed as "@?" (bug
 #5431).

---
 printing/ppconstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/ppconstr.ml')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index d92d83275..7f5adbfe4 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -703,7 +703,7 @@ let tag_var = tag Tag.variable
       | CEvar (_,n,l) ->
         return (pr_evar (pr mt) n l, latom)
       | CPatVar (_,p) ->
-        return (str "?" ++ pr_patvar p, latom)
+        return (str "@?" ++ pr_patvar p, latom)
       | CSort (_,s) ->
         return (pr_glob_sort s, latom)
       | CCast (_,a,b) ->
-- 
cgit v1.2.3