lib/ieclib.txt
changeset 496 fa43fed1084c
parent 400 093b72cd2ac3
child 905 31224f8cac32
--- a/lib/ieclib.txt	Sat Mar 31 15:30:38 2012 +0100
+++ b/lib/ieclib.txt	Sat Mar 31 15:34:33 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" }