--- a/lib/ieclib.txt Mon Jul 11 09:47:27 2011 +0100
+++ b/lib/ieclib.txt Fri Jul 29 16:03:28 2011 +0100
@@ -39,6 +39,6 @@
{#include "pid_st.txt" }
{#include "ramp_st.txt" }
-(* From later versions of the standard *)
+(* Not in the standard, but useful nonetheless. *)
{#include "sema.txt" }