diff options
| author | Matej Košík | 2017-04-28 14:31:14 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-05-24 17:41:35 +0200 |
| commit | 209956322367e5a4a4c8c78c053ea9352a9a16c8 (patch) | |
| tree | cba5cbe9d65d51a2c351bea8c1b2f9714d561d71 /interp | |
| parent | 6f2c19a1054ce58927dfa5b33131c3665fd5fdf8 (diff) | |
[location] Renaming "CAst.ast" to "CAst.t"
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/constrintern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |