Merge pull request #1033 from zickgraf/master

Restructure and reword warning
homalg-project · Sep 9, 2022 · 5bf791d · 5bf791d
2 parents a774684 + cbb7453
commit 5bf791d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2022.09-11",
+Version := "2022.09-12",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/CAP/gap/Finalize.gi b/CAP/gap/Finalize.gi
@@ -465,6 +465,8 @@ InstallMethod( Finalize,
 
             Print( "WARNING: The installed derivations of the category named \"", Name( category ), "\" have changed by reevaluation, which is not expected at this point.\n" );
             Print( "This might be due to one of the following reasons:\n" );
+            Print( "* The category might have gained a new setting like `supports_empty_limits` since adding the first function. Such settings should always be set before adding functions.\n" );
+            Print( "* The category filter of some derivation might not fulfill the specification.\n" );
 
             diff := Difference( categorical_properties, category!.initially_known_categorical_properties );
 
@@ -474,8 +476,6 @@ InstallMethod( Finalize,
 
             fi;
 
-            Print( "* The category might have gained a new setting like `supports_empty_limits` since adding the first function. Such settings should always be set before adding functions.\n" );
-            Print( "* The category filter of some derivation does not fulfill the specification.\n" );
             Print( "For debugging, call `ActivateDerivationInfo( )`, retry, and look at the derivations between \"Starting reevaluation of ...\" and \"Finished reevaluation of ...\".\n" );
 
         fi;