From d69a5741c16f450e981b7d8f4b28c217f388890d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 17 Jun 2013 07:20:46 +0000
Subject: Weaken conditions on parameter of partial differential domains.

---
 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 23c7d2e7..8448b177 100644
--- a/src/share/algebra/category.daase
+++ b/src/share/algebra/category.daase
@@ -1,5 +1,5 @@
 
-(203793 . 3578504328)        
+(203793 . 3580441382)        
 ((((-774)) . T)) 
 ((((-774)) . T)) 
 ((((-774)) . T)) 
-- 
cgit v1.2.3