diff options
Diffstat (limited to 'debugger/show_source.mli')
| -rw-r--r-- | debugger/show_source.mli | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/debugger/show_source.mli b/debugger/show_source.mli deleted file mode 100644 index 29f2f8c67e..0000000000 --- a/debugger/show_source.mli +++ /dev/null @@ -1,23 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* Print the line containing the point *) -val show_point : string -> int -> bool -> bool -> unit;; - -(* Tell Emacs we are nowhere in the source. *) -val show_no_point : unit -> unit;; - -(* Display part of the source. *) -val show_listing : string -> int -> int -> int -> bool -> unit;; |