From a6c3af96be707ba5d52378e7898f5d6188f4f192 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Thu, 13 Mar 2008 22:37:07 +0000
Subject: [PATCH] chr updates

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2151 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 LGPL/chr/chr_compiler_options.pl      | 4 ++--
 LGPL/chr/chr_translate_bootstrap1.chr | 1 -
 LGPL/chr/chr_translate_bootstrap2.chr | 4 ++--
 LGPL/chr/hprolog.pl                   | 3 ++-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/LGPL/chr/chr_compiler_options.pl b/LGPL/chr/chr_compiler_options.pl
index 336504343..811fade68 100644
--- a/LGPL/chr/chr_compiler_options.pl
+++ b/LGPL/chr/chr_compiler_options.pl
@@ -1,4 +1,4 @@
-/*  $Id: chr_compiler_options.pl,v 1.3 2008-03-13 14:37:59 vsc Exp $
+/*  $Id: chr_compiler_options.pl,v 1.4 2008-03-13 22:37:07 vsc Exp $
 
     Part of CHR (Constraint Handling Rules)
 
@@ -338,7 +338,7 @@ chr_pp_flag_definition(toplevel_show_store,[on,off]).
 chr_pp_flag_definition(term_indexing,[off,on]).
 chr_pp_flag_definition(verbosity,[on,off]).
 chr_pp_flag_definition(ht_removal,[off,on]).
-chr_pp_flag_definition(mixed_stores,[off,on]).
+chr_pp_flag_definition(mixed_stores,[on,off]).
 chr_pp_flag_definition(line_numbers,[off,on]).
 chr_pp_flag_definition(dynattr,[off,on]).
 chr_pp_flag_definition(experiment,[off,on]).
diff --git a/LGPL/chr/chr_translate_bootstrap1.chr b/LGPL/chr/chr_translate_bootstrap1.chr
index f36ac0f20..db9af8041 100644
--- a/LGPL/chr/chr_translate_bootstrap1.chr
+++ b/LGPL/chr/chr_translate_bootstrap1.chr
@@ -14,7 +14,6 @@
 :- style_check(- (discontiguous)).
 :- use_module(library(lists),
 	      [ append/3,
-	        append/2,
 		member/2,
 		permutation/2,
 		reverse/2
diff --git a/LGPL/chr/chr_translate_bootstrap2.chr b/LGPL/chr/chr_translate_bootstrap2.chr
index 38bafe1c1..3a4576e52 100644
--- a/LGPL/chr/chr_translate_bootstrap2.chr
+++ b/LGPL/chr/chr_translate_bootstrap2.chr
@@ -1,4 +1,4 @@
-/*  $Id: chr_translate_bootstrap2.chr,v 1.4 2008-03-13 17:43:13 vsc Exp $
+/*  $Id: chr_translate_bootstrap2.chr,v 1.5 2008-03-13 22:37:07 vsc Exp $
 
     Part of CHR (Constraint Handling Rules)
 
@@ -113,7 +113,7 @@
 	  [ chr_translate/2		% +Decls, -TranslatedDecls
 	  ]).
 %% SWI begin
-:- use_module(library(lists),[append/3,append/2,member/2,delete/3,reverse/2,permutation/2,min_list/2]).
+:- use_module(library(lists),[append/3,append/2,member/2,delete/3,reverse/2,permutation/2]).
 :- use_module(library(ordsets)).
 %% SWI end
 
diff --git a/LGPL/chr/hprolog.pl b/LGPL/chr/hprolog.pl
index 8116ee5d9..45f02a091 100644
--- a/LGPL/chr/hprolog.pl
+++ b/LGPL/chr/hprolog.pl
@@ -22,7 +22,7 @@
 	    ds_to_list/2,
 	    get_ds/3,
 	    put_ds/4
-	    
+%	    lookup_ht1/4
 	  ]).
 :- use_module(library(lists)).
 :- use_module(library(assoc)).
@@ -75,6 +75,7 @@ memberchk_eq(X, [Y|Ys]) :-
    ;   memberchk_eq(X, Ys)
    ).
 
+% :- load_foreign_library(chr_support).
 
 %	list_difference_eq(+List, -Subtract, -Rest)
 %