catch a problematic case

gap-packages · Dec 20, 2023 · 7ec6ef8 · 7ec6ef8
1 parent 1157ce5
commit 7ec6ef8
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/gap/carat.gi b/gap/carat.gi
@@ -278,10 +278,6 @@ BindGlobal( "CaratReadBravaisRecord", function( input, str )
 
     res := rec();
 
-    if Position( str, '#' ) = fail then
-
-    fi;
-
     # read group generators
     pos := Position( str, 'g' );
 
@@ -350,6 +346,9 @@ InstallGlobalFunction( CaratReadBravaisFile, function( filename )
 
     input := InputTextFile( filename );
     str   := CaratReadLine( input );
+    if Position( str, '#' ) = fail then
+        Error( "Malformed header in CARAT Bravais file ", filename );
+    fi;
     res   := CaratReadBravaisRecord( input, str );
 
     CloseStream( input );