diff options
Diffstat (limited to 'path/wireFramePrinter.mli')
-rwxr-xr-x | path/wireFramePrinter.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/path/wireFramePrinter.mli b/path/wireFramePrinter.mli index 1e76120..fa8a5a8 100755 --- a/path/wireFramePrinter.mli +++ b/path/wireFramePrinter.mli @@ -19,6 +19,7 @@ module Make(Repr:Layer.Repr.PRINTER): sig val stop : repr -> repr + val get : repr -> Repr.t |