* applied patch from bug-report #1076292,
[fw/sdcc] / src / pic16 / device.h
index 92cbe337eb5f8430622843ff2021b40455295b35..0251116ffbefe25ee61c120d2379f8b19413b862 100644 (file)
@@ -105,6 +105,7 @@ typedef struct {
   int ip_stack;
   unsigned long opt_flags;
   int gstack;
+  unsigned int debgen;
 } pic16_options_t;
 
 #define STACK_MODEL_SMALL      (pic16_options.stack_model == 0)