Merge branch 'master' into propagate

types/types.ml

@@ -1643,7 +1643,7 @@ struct
                 |`Atm bdd -> 
                     begin match has_tlv,acc with
                     |true,[] -> if is_full bdd then (has_tlv,[]) else (has_tlv,print bdd)
-                    |false,[] -> if is_full bdd then (has_tlv,[]) else (has_tlv,print bdd)
+                    |false,[] -> (has_tlv,print bdd)
                     |_,_ -> (has_tlv,acc @ (print bdd)) 
                     end
               ) (false,[]) p