From 209956322367e5a4a4c8c78c053ea9352a9a16c8 Mon Sep 17 00:00:00 2001
From: Matej Košík
Date: Fri, 28 Apr 2017 14:31:14 +0200
Subject: [location] Renaming "CAst.ast" to "CAst.t"

---
 interp/constrintern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 7dc364e5d9..3b3dccc998 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -893,7 +893,7 @@ type raw_cases_pattern_expr_r =
   (** [RCPatCstr (loc, c, l1, l2)] represents ((@c l1) l2) *)
   | RCPatAtom  of Id.t option
   | RCPatOr    of raw_cases_pattern_expr list
-and raw_cases_pattern_expr = raw_cases_pattern_expr_r CAst.ast
+and raw_cases_pattern_expr = raw_cases_pattern_expr_r CAst.t
 
 (** {6 Elementary bricks } *)
 let apply_scope_env env = function
-- 
cgit v1.2.3