From ecf5f6fc0d3107eeb8566f56037f28d888a53a1a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 10 Jun 2016 16:23:35 -0400 Subject: Set Asymmetric Patterns --- Bedrock/Nomega.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Bedrock') diff --git a/Bedrock/Nomega.v b/Bedrock/Nomega.v index 2535cd217..5f39f832f 100644 --- a/Bedrock/Nomega.v +++ b/Bedrock/Nomega.v @@ -2,6 +2,8 @@ Require Import Coq.Arith.Arith Coq.omega.Omega Coq.NArith.NArith. +Global Set Asymmetric Patterns. + Local Open Scope N_scope. Hint Rewrite Nplus_0_r nat_of_Nsucc nat_of_Nplus nat_of_Nminus -- cgit v1.2.3