From 7f64488df386e7e5a5ae1b5e730abbf5b4babc76 Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Mon, 8 Jul 2002 13:47:44 +0000
Subject: [PATCH] La fonction PreImage pour BTR n'existe pas ...

---
 alliance/src/btr/src/btr.h | 1 -
 1 file changed, 1 deletion(-)

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