From 994f1f78a9fc77767125580fec674d1709071667 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 5 Mar 2019 14:56:01 -0500 Subject: Fix unfolding of pattern.base.lookup_default --- src/Rewriter.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/Rewriter.v b/src/Rewriter.v index 06f8d59fe..c39b2fe9f 100644 --- a/src/Rewriter.v +++ b/src/Rewriter.v @@ -2303,7 +2303,7 @@ Z.mul @@ (?x >> 128, ?y >> 128) --> mulhh @@ (x, y) projT1 projT2 cpsbind cpscall cps_option_bind cpsreturn PrimitiveProd.Primitive.fst PrimitiveProd.Primitive.snd - pattern.type.subst_default pattern.base.subst_default + pattern.type.subst_default pattern.base.subst_default pattern.base.lookup_default PositiveMap.add PositiveMap.find PositiveMap.empty PositiveSet.rev PositiveSet.rev_append pattern.ident.arg_types -- cgit v1.2.3