32 lines
971 B
Diff
32 lines
971 B
Diff
|
From 1658a7f55af6884644909901523a28d2df7416d7 Mon Sep 17 00:00:00 2001
|
||
|
|
From: pad <yoann.padioleau@gmail.com>
|
||
|
|
Date: Thu, 20 Aug 2015 09:58:29 -0700
|
||
|
|
Subject: [PATCH 68/72] * lang_js/analyze/utils_js.mli: fix issue #130
|
||
|
|
|
||
|
|
---
|
||
|
|
lang_js/analyze/utils_js.mli | 9 +++++----
|
||
|
|
1 file changed, 5 insertions(+), 4 deletions(-)
|
||
|
|
|
||
|
|
diff --git lang_js/analyze/utils_js.mli
|
||
|
|
index 637b832..19a8cbb 100644
|
||
|
|
--- lang_js/analyze/utils_js.mli
|
||
|
|
+++ lang_js/analyze/utils_js.mli
|
||
|
|
@@ -1,8 +1,9 @@
|
||
|
|
|
||
|
|
-(** print utils **)
|
||
|
|
+(* print utils *)
|
||
|
|
val string_of_any : Ast_js.any -> string
|
||
|
|
|
||
|
|
-(** Example: load file task **)
|
||
|
|
-(** if file exists, unmarshal data in the file and return it **)
|
||
|
|
-(** otherwise, run task to generate data, store it in the file, and return it **)
|
||
|
|
+(* Example: load file task
|
||
|
|
+ * if file exists, unmarshal data in the file and return it
|
||
|
|
+ * otherwise, run task to generate data, store it in the file, and return it
|
||
|
|
+ *)
|
||
|
|
val load : Common.filename -> (unit -> 'a) -> 'a
|
||
|
|
--
|
||
|
|
2.5.0
|
||
|
|
|
||
|
|
|