diff --git a/alliance/src/btr/src/btr.h b/alliance/src/btr/src/btr.h
index 4bc63f0c..e34a6c08 100644
--- a/alliance/src/btr/src/btr.h
+++ b/alliance/src/btr/src/btr.h
@@ -206,6 +206,5 @@
 \------------------------------------------------------*/
 
   extern       bddnode * imagebtrtransrel __P((btrtransrel *TransRel, bddnode *StateSet));
-  bddnode   *preimagebtrtransrel();
 
 # endif