diff options
Diffstat (limited to 'dev-lang/xsb/files/xsb-3.1-chr_d.patch')
-rw-r--r-- | dev-lang/xsb/files/xsb-3.1-chr_d.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-lang/xsb/files/xsb-3.1-chr_d.patch b/dev-lang/xsb/files/xsb-3.1-chr_d.patch new file mode 100644 index 000000000000..a6741afb40c1 --- /dev/null +++ b/dev-lang/xsb/files/xsb-3.1-chr_d.patch @@ -0,0 +1,13 @@ +--- XSB.orig/packages/chr_d.P 2006-05-26 02:49:06.000000000 +1200 ++++ XSB/packages/chr_d.P 2007-11-24 20:12:59.000000000 +1300 +@@ -28,7 +28,9 @@ + init_chr_d:- + bootstrap_package([chr_d],'chr_d'), + [chr2attv], +- [attv_aux]. ++ [attv_aux], ++ [flatten_chr], ++ [print_chrd]. + + :- init_chr_d. + |