Index: /trunk/source/compiler/PPC/PPC32/ppc32-vinsns.lisp
===================================================================
--- /trunk/source/compiler/PPC/PPC32/ppc32-vinsns.lisp	(revision 14947)
+++ /trunk/source/compiler/PPC/PPC32/ppc32-vinsns.lisp	(revision 14948)
@@ -4061,9 +4061,9 @@
   (stfd val (:apply ash idx 3) base))
 
-(define-ppc32-vinsn fixnum-set-c-double-float (()
-                                               ((base :imm)
-                                                (idx :imm)
-                                                (val :double-float))
-                                               ((temp :imm)))
+(define-ppc32-vinsn fixnum-set-double-float (()
+                                             ((base :imm)
+                                              (idx :imm)
+                                              (val :double-float))
+                                             ((temp :imm)))
   (add temp idx idx)
   (stfdx val base temp))
Index: /trunk/source/compiler/PPC/PPC64/ppc64-vinsns.lisp
===================================================================
--- /trunk/source/compiler/PPC/PPC64/ppc64-vinsns.lisp	(revision 14947)
+++ /trunk/source/compiler/PPC/PPC64/ppc64-vinsns.lisp	(revision 14948)
@@ -4051,8 +4051,8 @@
   (stfd val (:apply ash idx 3) base))
 
-(define-ppc64-vinsn fixnum-set-c-double-float (()
-                                               ((base :imm)
-                                                (idx :imm)
-                                                (val :double-float)))
+(define-ppc64-vinsn fixnum-set-double-float (()
+                                             ((base :imm)
+                                              (idx :imm)
+                                              (val :double-float)))
   (stfdx val base idx))