Sat Apr 2 04:39:32 UTC 2011 rbrown@common-lisp.net

* Use *unify-string-case-sensitive-p* consistently.

Change the documentation.

--- old-cl-unification/test/unification-tests.lisp 2013-08-09 06:09:27.000000000 +0000

+++ new-cl-unification/test/unification-tests.lisp 2013-08-09 06:09:27.000000000 +0000

@@ -43,7 +43,7 @@

(test-error (unify "I am a string" "I am A string")

:condition-type 'unification-failure)

- (test t (let ((*unify-string-case-insensitive-p* t))

+ (test t (let ((*unify-string-case-sensitive-p* nil))

(unify:environment-p (unify "I am a string" "I am A string"))))

)