Skip to content

Commit bbab8bb

Browse files
MSoegtropIMCstrub
MSoegtropIMC
authored and
strub
committed
rename ssrZ.v to word_ssrZ.v to avoid conflict with coq-mathcomp-zify
1 parent f1f4edc commit bbab8bb

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

‎src/word.v‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@
2222

2323
(* -------------------------------------------------------------------- *)
2424
From mathcomp Require Import all_ssreflect all_algebra zmodp.
25-
(* ------- *) Require Import Arith ZArith ssrZ.
25+
(* ------- *) Require Import Arith ZArith word_ssrZ.
2626
Require Psatz.
2727

2828
(* -------------------------------------------------------------------- *)

src/ssrZ.v renamed to src/word_ssrZ.v

File renamed without changes.

0 commit comments

Comments
 (0)