Tree - rpms/pvs-sbcl - src.fedoraproject.org

Blob History Raw

		cfbf2b4	`--- src/utils/hashfn.lisp.orig 2011-04-15 11:45:05.000000000 -0600`
		cfbf2b4	`+++ src/utils/hashfn.lisp 2012-01-20 12:07:51.141297752 -0700`
		cfbf2b4	`@@ -76,8 +76,7 @@`
		cfbf2b4	`#+(and allegro (not 64bit)) 24`
		cfbf2b4	`#+(and allegro 64bit) 32`
		cfbf2b4	`#+cmu 29`
		cfbf2b4	`- #+(and sbcl (not x86-64)) 29`
		cfbf2b4	`- #+(and sbcl x86-64) 60))`
		cfbf2b4	`+ #+sbcl sb-vm:n-positive-fixnum-bits))`
		cfbf2b4
		cfbf2b4	`(defconstant-if-unbound pvs-sxhash-byte`
		cfbf2b4	`(byte pvs-sxhash-bits 0))`