Changeset 7b9b8e5 in git for kernel/maps

Timestamp:

Jul 27, 2016, 5:32:43 PM (8 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f9b0bddbfb9793b47a94a5d2aace6da9918e3c70

Parents:

e642218a429036f2f457d8045880dc747c8200a7

Message:

fix: Werror -> WerrorS if possible

File:

• kernel/maps/subst_maps.cc (modified) (1 diff)

kernel/maps/subst_maps.cc

@@ -46 +46 @@
     ||(preimage_r!=currRing))
     {
-      Werror("not implemented");
+      WerrorS("not implemented");
       return NULL;
     }