diff options
Diffstat (limited to 'theories/Numbers/vo.itarget')
-rw-r--r-- | theories/Numbers/vo.itarget | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theories/Numbers/vo.itarget b/theories/Numbers/vo.itarget index 070149a11..25f8570ba 100644 --- a/theories/Numbers/vo.itarget +++ b/theories/Numbers/vo.itarget @@ -11,8 +11,9 @@ Cyclic/DoubleCyclic/DoubleMul.vo Cyclic/DoubleCyclic/DoubleSqrt.vo Cyclic/DoubleCyclic/DoubleSub.vo Cyclic/DoubleCyclic/DoubleType.vo -Cyclic/Int31/Cyclic31.vo Cyclic/Int31/Int31.vo +Cyclic/Int31/Cyclic31.vo +Cyclic/Int31/Ring31.vo Cyclic/ZModulo/ZModulo.vo Integer/Abstract/ZAddOrder.vo Integer/Abstract/ZAdd.vo |