diff -r 456add88d64c -r a45a62dd6df9 stage3/fill_candidate_datatypes.hh
--- a/stage3/fill_candidate_datatypes.hh	Tue Jun 19 18:55:43 2012 +0100
+++ b/stage3/fill_candidate_datatypes.hh	Sat Jul 14 11:09:26 2012 +0200
@@ -111,6 +111,7 @@
     /* Returns true if it really did add the datatype to the list, or false if it was already present in the list! */
     bool add_datatype_to_candidate_list  (symbol_c *symbol, symbol_c *datatype);
     bool add_2datatypes_to_candidate_list(symbol_c *symbol, symbol_c *datatype1, symbol_c *datatype2);
+    void remove_incompatible_datatypes(symbol_c *symbol);
     
     
   public: