From a0d772d81d4aeec159e71c05f6d0b4801b591e07 Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Wed, 27 Jan 2016 14:13:54 +0000
Subject: [PATCH] Add IsObject as a default
---
gap/gaptypes.g | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gap/gaptypes.g b/gap/gaptypes.g
index f28fb40..e024660 100644
--- a/gap/gaptypes.g
+++ b/gap/gaptypes.g
@@ -43,7 +43,7 @@ end;
GAPTypesInfo := function()
local res, lres, i, f, ff;
- res := [];
+ res := [ rec( name := "IsObject", type := "GAP_Category", implied := [] ) ];
for i in [1..Length(FILTERS)] do
if IsBound(FILTERS[i]) then
--
GitLab