comply with homalg-project/CategoricalTowers#290

homalg-project · Jul 12, 2023 · 82fbc2d · 82fbc2d
1 parent df8d95b
commit 82fbc2d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/ComplexesCategories/PackageInfo.g b/ComplexesCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ComplexesCategories",
 Subtitle := "Category of (co)chain complexes of an additive category",
-Version := "2023.07-01",
+Version := "2023.07-02",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/ComplexesCategories/gap/Categories.gi b/ComplexesCategories/gap/Categories.gi
@@ -56,11 +56,7 @@ InstallGlobalFunction( COMPLEXES_CATEGORY_BY_COCHAINS_AS_TOWER,
           object_datum, morphism_constructor, morphism_datum, union_of_supports, list_of_operations_to_install, create_func_bool,
           create_func_object, create_func_morphism, supports_empty_limits, name, modeling_cat;
 
-    # temporarily #######
     presh_cat := PreSheaves( INTEGERS_CAT, cat : overhead := false, FinalizeCategory := false );
-    presh_cat!.is_computable := false;
-    Finalize( presh_cat );
-    #####################
 
     name := Concatenation( "Bounded ", Name( presh_cat ) );