wrong figure reference in plugin development guide
ID0000884: This issue was created automatically from Mantis Issue 884. Further discussion may take place here.
|ID0000884||Frama-C||Documentation > manuals||public||2011-07-18||2016-06-21|
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||Frama-C Nitrogen-20111001|
In file "plugin-development-guide-Carbon-20110201.pdf" on page 28 (sect.3.4), there is a reference to Figure 3.4, which does not exist:
BEGIN QUOTE More generally, the set of functionalities available for a standard plug-in and for a kernel-integrated plug-in are mostly the same. The differences between a standard plug-in and a kernel-integrated one are listed Figure 3.4. END QUOTE
Probably, the immediately following Fig.3.2 is meant.