From b6feaafc7602917a8ef86fb8adc9651ff765e710 Mon Sep 17 00:00:00 2001
From: Matej Košík <matej.kosik@inria.fr>
Date: Mon, 29 May 2017 11:02:06 +0200
Subject: Remove (useless) aliases from the API.

---
 grammar/q_util.mlp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'grammar')

diff --git a/grammar/q_util.mlp b/grammar/q_util.mlp
index 7d309cf0d..1c2009ece 100644
--- a/grammar/q_util.mlp
+++ b/grammar/q_util.mlp
@@ -57,8 +57,8 @@ let mlexpr_of_option f = function
   | Some e -> <:expr< Some $f e$ >>
 
 let mlexpr_of_name f = function
-  | None -> <:expr< Anonymous >>
-  | Some e -> <:expr< Name $f e$ >>
+  | None -> <:expr< API.Names.Name.Anonymous >>
+  | Some e -> <:expr< API.Names.Name.Name $f e$ >>
 
 let symbol_of_string s = <:expr< Grammar_API.Extend.Atoken (Grammar_API.CLexer.terminal $str:s$) >>
 
-- 
cgit v1.2.3