lib/ieclib.txt
changeset 402 ffa2afab2806
parent 400 093b72cd2ac3
child 905 31224f8cac32
--- 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" }