From f5f0e769f7af6c118df6d821898dc160a0d4b3f8 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 8 Nov 2017 00:09:52 -0500 Subject: Fix a bug in previous commit --- src/Arithmetic/Saturated/Freeze.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/Arithmetic/Saturated/Freeze.v b/src/Arithmetic/Saturated/Freeze.v index fd42267e0..7c05084f6 100644 --- a/src/Arithmetic/Saturated/Freeze.v +++ b/src/Arithmetic/Saturated/Freeze.v @@ -126,7 +126,7 @@ End Freeze. Hint Opaque freeze_cps : uncps. Hint Rewrite @freeze_id : uncps. Hint Rewrite @eval_freeze - using (assumption || (div_mod_cps_t; auto)) : push_basesystem_eval. + using (assumption || auto) : push_basesystem_eval. Hint Unfold freeze freeze_cps -- cgit v1.2.3