From d351d1076c6a506fc4bbbb01d26e86c187096ef8 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 22 Sep 2009 09:06:30 +0000 Subject: --- src/share/algebra/category.daase | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/share/algebra/category.daase') diff --git a/src/share/algebra/category.daase b/src/share/algebra/category.daase index a1a02c10..4852c2e7 100644 --- a/src/share/algebra/category.daase +++ b/src/share/algebra/category.daase @@ -1,5 +1,5 @@ -(188047 . 3462558067) +(188047 . 3462598961) (((|#2| |#2|) -12 (|has| |#2| (-310 |#2|)) (|has| |#2| (-1099))) ((#0=(-2 (|:| -3476 |#1|) (|:| -2484 |#2|)) #0#) |has| (-2 (|:| -3476 |#1|) (|:| -2484 |#2|)) (-310 (-2 (|:| -3476 |#1|) (|:| -2484 |#2|))))) ((((-566)) . T) (($) -2676 (|has| |#1| (-308)) (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-558))) (((-409 (-566))) -2676 (|has| |#1| (-365)) (|has| |#1| (-351)) (|has| |#1| (-1038 (-409 (-566))))) ((|#1|) . T)) (((|#2| |#2|) . T)) -- cgit v1.2.3