diff -r f1674941c3ad -r 4f281513277f lib/ieclib.txt --- a/lib/ieclib.txt Mon Apr 04 13:25:39 2011 +0200 +++ b/lib/ieclib.txt Mon Apr 04 17:13:03 2011 +0200 @@ -35,7 +35,7 @@ *) (* The standard functions *) -{#include "standard_functions.txt" } +(*{#include "standard_functions.txt" }*) (* The standard function blocks *) {#include "edge_detection.txt" }