Update lib/attr.gi

Co-Authored-By: Max Horn <max@quendi.de>
gap-system · Sep 10, 2019 · 548daa2 · 548daa2
1 parent 3d0c16e
commit 548daa2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/attr.gi b/lib/attr.gi
@@ -43,7 +43,7 @@ CHECK_REPEATED_ATTRIBUTE_SET := function(obj, name, val)
         if not IsBound(obj!.(name)) then
             Info(InfoAttributes, 3, "Attribute ", name, " of ", obj, " is marked as assigned, but it has no value");
         elif obj!.(name) <> val then
-            Info(InfoAttributes, 3, name, " of ", obj, " already set to ", obj!.(name), ", cannot be changed to ", val);
+            Info(InfoAttributes, 3, "Attribute ", name, " of ", obj, " already set to ", obj!.(name), ", cannot be changed to ", val);
         fi;
     fi;
 end;