@@ -122,11 +122,11 @@
 	typed-records
 	z3
 	)
 	
 (include "common_records.scm")
-(include "db_records.scm")
+;; (include "db_records.scm")
 
 ;;======================================================================
 ;; 
 ;;======================================================================