diff --git a/widelands-non-void.patch b/widelands-non-void.patch
index fc2a7cd..a7baf9c 100644
--- a/widelands-non-void.patch
+++ b/widelands-non-void.patch
@@ -10,6 +10,14 @@ Index: widelands/src/events/event_factory.cc
  	}
  }
  
+@@ -184,6 +185,7 @@ Event & create(Section & s, Editor_Game_
+ 	case 12: return *new Event_Unhide_Area     (s, egbase);
+ 	default:
+ 		assert(false);
++		return *new Event_Allow_Building  (s, egbase);
+ 	}
+ }
+ 
 Index: widelands/src/map.h
 ===================================================================
 --- widelands.orig/src/map.h