src/Pure/ML-Systems/alice.ML
changeset 24329 f31594168d27
parent 24290 5607b8b752bb
child 24597 cbf2c5cf335e
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Sat Aug 18 19:25:28 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Sat Aug 18 21:27:52 2007 +0200
     1.3 @@ -42,6 +42,7 @@
     1.4  
     1.5  fun quit () = exit 0;
     1.6  
     1.7 +fun get_print_depth () = ! Print.depth;
     1.8  fun print_depth n = Print.depth := n;
     1.9  
    1.10