src/Pure/ML/ml_compiler.ML

--- a/src/Pure/ML/ml_compiler.ML	Mon Feb 22 22:44:37 2016 +0100
+++ b/src/Pure/ML/ml_compiler.ML	Tue Feb 23 16:20:12 2016 +0100
@@ -201,7 +201,7 @@
 
     (* results *)
 
-    val depth = ML_Options.get_print_depth ();
+    val depth = FixedInt.fromInt (ML_Options.get_print_depth ());
 
     fun apply_result {fixes, types, signatures, structures, functors, values} =
       let