diff -r 7f052bd3508a -r ffa2afab2806 lib/ieclib.txt --- a/lib/ieclib.txt Tue Feb 07 20:18:11 2012 +0100 +++ b/lib/ieclib.txt Tue Feb 07 20:20:19 2012 +0100 @@ -38,6 +38,7 @@ {#include "integral_st.txt" } {#include "pid_st.txt" } {#include "ramp_st.txt" } +{#include "rtc.txt" } (* Not in the standard, but useful nonetheless. *) {#include "sema.txt" }