diff options
| -rw-r--r-- | theories/ZArith/Zdigits.v (renamed from theories/ZArith/Zbinary.v) | 0 | ||||
| -rw-r--r-- | theories/ZArith/vo.itarget | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/theories/ZArith/Zbinary.v b/theories/ZArith/Zdigits.v index 0a6c94986a..0a6c94986a 100644 --- a/theories/ZArith/Zbinary.v +++ b/theories/ZArith/Zdigits.v diff --git a/theories/ZArith/vo.itarget b/theories/ZArith/vo.itarget index 471688fbab..3efa70552c 100644 --- a/theories/ZArith/vo.itarget +++ b/theories/ZArith/vo.itarget @@ -6,7 +6,7 @@ Zabs.vo ZArith_base.vo ZArith_dec.vo ZArith.vo -Zbinary.vo +Zdigits.vo Zbool.vo Zcompare.vo Zcomplements.vo |