There is an OSPF virtual router configuration with two interfaces. One interface (int1) is part of the default area (0.0.0.0) whereas the other one (int2) is not. There is a static default which points to the next hop on the non-OSPF interface network.
Want to announce or generate a default route into the OSPF area and have clicked the "Allow Redist Default Route" button. However, the default does NOT get announced to the OSPF cloud.
To advertise the default route:
Go to the Virtual Routers section of the GUI.
Click on the VR in question.
Click on the tab for OSPF.
In the middle of the window is a box entitled Export Rules.
Add the 0.0.0.0/0 route to this section and specify (Ext-2, Ext-1 or None) as the route type.
Anything more detailed will require a redistribution profile.