r11416: rename file

diff --git a/uffi/intbits.c b/uffi/intbits.c
deleted file mode 100644 (file)
index 17f7bf8..0000000
--- a/uffi/intbits.c
+++ /dev/null
@@ -1,11 +0,0 @@
-/* Prints the number of bits in a pointer.
- * Copyright (c) 2006 Kevin Rosenberg
- */
-
-#include <stdio.h>
-
-int main() {
-  char *p;
-  printf ("%d\n", 8*sizeof(p));
-  return (0);
-}

diff --git a/uffi/ptrbits.c b/uffi/ptrbits.c
new file mode 100644 (file)
index 0000000..17f7bf8
--- /dev/null
+++ b/uffi/ptrbits.c
@@ -0,0 +1,11 @@
+/* Prints the number of bits in a pointer.
+ * Copyright (c) 2006 Kevin Rosenberg
+ */
+
+#include <stdio.h>
+
+int main() {
+  char *p;
+  printf ("%d\n", 8*sizeof(p));
+  return (0);
+}