* interp/compiler.boot (compHasFormat): Take a DB parameter.
	Adjust callers.
	* interp/define.boot (ICformat): Likewise.
	* interp/lisplib.boot (predicateBitIndex): Likewise.
	(predicateBitRef): Likewise.
	(transHasCode): Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@3019 f499efd5-9937-0410-b36a-d3739c31ded8