restore parse_term to toplevel

This commit is contained in:
Mark Thom
2018-09-17 21:16:15 -06:00
parent 43ba8f23dc
commit d0ac258c77
5 changed files with 12 additions and 48 deletions

View File

@@ -195,7 +195,7 @@ pub type ModuleCodeDir = HashMap<PredicateKey, ModuleCodeIndex>;
pub type CodeDir = HashMap<PredicateKey, CodeIndex>;
//pub type TermDir = HashMap<PredicateKey, Predicate>;
pub type TermDir = HashMap<PredicateKey, Predicate>;
pub type ModuleDir = HashMap<ClauseName, Module>;