diff -r 7017aee615d6 -r 68841fb382e0 doc-src/Codegen/Thy/examples/example.ML
--- a/doc-src/Codegen/Thy/examples/example.ML	Mon Nov 16 10:03:58 2009 +0100
+++ b/doc-src/Codegen/Thy/examples/example.ML	Mon Nov 16 11:03:14 2009 +0100
@@ -11,7 +11,7 @@
 
 datatype 'a queue = AQueue of 'a list * 'a list;
 
-val empty : 'a queue = AQueue ([], [])
+val empty : 'a queue = AQueue ([], []);
 
 fun dequeue (AQueue ([], [])) = (NONE, AQueue ([], []))
   | dequeue (AQueue (xs, y :: ys)) = (SOME y, AQueue (xs, ys))