diff options
Diffstat (limited to 'security/sks/files/patch-number.ml')
| -rw-r--r-- | security/sks/files/patch-number.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/security/sks/files/patch-number.ml b/security/sks/files/patch-number.ml deleted file mode 100644 index 4026848573c3..000000000000 --- a/security/sks/files/patch-number.ml +++ /dev/null @@ -1,11 +0,0 @@ ---- number.ml Thu Oct 21 04:56:03 2004 -+++ number.ml Thu Nov 25 00:25:35 2004 -@@ -18,7 +18,7 @@ - (** Basic operations and definitions for multi-precistion integers. *) - - (* Change to Dlong for non x86 platforms *) --module Nx = Numerix.Slong -+module Nx = Numerix.Clong - - let two = Nx.of_int 2 - let one = Nx.of_int 1 |