From b54e6b8b55c957901cfc8a1504f9cd1b281c5cdd Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 28 Oct 2016 22:40:02 -0400 Subject: Add interp_type_gen_rel_pointwise2, *_gen => * --- src/Reflection/Named/EstablishLiveness.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Reflection/Named/EstablishLiveness.v') diff --git a/src/Reflection/Named/EstablishLiveness.v b/src/Reflection/Named/EstablishLiveness.v index 2301eb6a1..b9d283013 100644 --- a/src/Reflection/Named/EstablishLiveness.v +++ b/src/Reflection/Named/EstablishLiveness.v @@ -37,7 +37,7 @@ Section language. Let Tbase := @Tbase base_type_code. Local Coercion Tbase : base_type_code >-> Syntax.flat_type. Local Notation interp_type := (interp_type interp_base_type). - Local Notation interp_flat_type := (interp_flat_type_gen interp_base_type). + Local Notation interp_flat_type := (interp_flat_type interp_base_type). Local Notation exprf := (@exprf base_type_code interp_base_type op). Local Notation expr := (@expr base_type_code interp_base_type op). -- cgit v1.2.3