From 2fe3e6b2dcd05092ad01c80f2edd831570f274fc Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 19 Mar 2017 16:55:45 -0400 Subject: Most of the way towards a complete MapCastCorrect --- _CoqProject | 1 + 1 file changed, 1 insertion(+) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index f02ca89e7..0a73eba6f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -129,6 +129,7 @@ src/Reflection/LinearizeWf.v src/Reflection/Map.v src/Reflection/MapCast.v src/Reflection/MapCastByDeBruijn.v +src/Reflection/MapCastByDeBruijnInterp.v src/Reflection/MapCastInterp.v src/Reflection/MapCastWf.v src/Reflection/MultiSizeTest.v -- cgit v1.2.3