From 5b0769b33004202d015770aff3f3cdd347b099fb Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Fri, 10 Oct 2014 03:45:03 -0400 Subject: Fix segfault in native compiler on int31 division. Thanks to Yves for reporting it! --- theories/Numbers/Cyclic/Int31/Int31.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'theories/Numbers') diff --git a/theories/Numbers/Cyclic/Int31/Int31.v b/theories/Numbers/Cyclic/Int31/Int31.v index 885cd0daf..e80f209eb 100644 --- a/theories/Numbers/Cyclic/Int31/Int31.v +++ b/theories/Numbers/Cyclic/Int31/Int31.v @@ -350,7 +350,7 @@ Register sub31carryc as int31 minuscarryc in "coq_int31" by True. Register mul31 as int31 times in "coq_int31" by True. Register mul31c as int31 timesc in "coq_int31" by True. Register div3121 as int31 div21 in "coq_int31" by True. -Register div31 as int31 div in "coq_int31" by True. +Register div31 as int31 diveucl in "coq_int31" by True. Register compare31 as int31 compare in "coq_int31" by True. Register addmuldiv31 as int31 addmuldiv in "coq_int31" by True. Register lor31 as int31 lor in "coq_int31" by True. -- cgit v1.2.3