dev-lang/xsb/files/xsb-3.0.1-chr_d.patch


1
2
3
4
5
6
7
8
9
10
11
12

--- XSB.orig/packages/chr_d.P	2006-05-26 02:49:06.000000000 +1200
+++ XSB/packages/chr_d.P	2007-01-26 20:38:58.000000000 +1300
@@ -28,7 +28,8 @@
 init_chr_d:- 
 	bootstrap_package([chr_d],'chr_d'),
 	[chr2attv],
-	[attv_aux].
+	[attv_aux],
+	[print_chrd].
 
 :- init_chr_d.