merge into history old stuff found on chiark

[moebius.git] / library.cc

diff --git a/library.cc b/library.cc
index 60f8446a97175b05975c08dfd5628f77635aec79..d15c454ca6103601f73a6e096e917dfbdc2acbf7 100644 (file)
--- a/library.cc
+++ b/library.cc
@@ -3,6 +3,7 @@
  */
 
 #include <stdlib.h>
+#include <stdio.h>
 
 #include "library.hh"
 #include "transforms.hh"