Index: obj_pinvia_therm.h
===================================================================
--- obj_pinvia_therm.h	(revision 4753)
+++ obj_pinvia_therm.h	(revision 4754)
@@ -39,6 +39,6 @@
 #include <stdlib.h>
 #include "config.h"
 
-POLYAREA *ThermPoly(PCBTypePtr, PinTypePtr, pcb_cardinal_t);
+POLYAREA *ThermPoly(pcb_board_t *, PinTypePtr, pcb_cardinal_t);
 
 #endif