From d68ef3f5a1363380b2b8a53dc85b346441bed410 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 17 May 2012 09:56:49 +0100 Subject: [PATCH] fix empty tries. --- packages/bdd/trie_sp.yap | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/bdd/trie_sp.yap b/packages/bdd/trie_sp.yap index a7f079373..5d949579d 100644 --- a/packages/bdd/trie_sp.yap +++ b/packages/bdd/trie_sp.yap @@ -29,6 +29,7 @@ extract_vars([], []). extract_vars((_-V).MapList, V.Vs) :- extract_vars(MapList, Vs). +complex_to_andor(empty, Map, Map, 0). complex_to_andor([list(Els)], Map0, MapF, Tree) :- !, complex_to_andor(Els, Map0, MapF, Tree). complex_to_andor([El1,El2|Els], Map0, MapF, or(T1,T2)) :- !,