")
+ if a_err /= Void then
+ Result.append ("
")
+ Result.append (a_err)
+ Result.append ("
")
+ end
+ Result.append ("
")
+ end
+
+end
diff --git a/examples/demo/demo.ecf b/examples/demo/demo.ecf
index d58c22b..ffc4e67 100644
--- a/examples/demo/demo.ecf
+++ b/examples/demo/demo.ecf
@@ -31,7 +31,6 @@