summarylogtreecommitdiffstats
path: root/lang_js-analyze-utils_js.mli.patch
diff options
context:
space:
mode:
authorMassimiliano Torromeo2018-06-29 17:37:45 +0200
committerMassimiliano Torromeo2018-06-29 17:37:45 +0200
commit0022f5dd2f4813c84ccc4ddae608941f5583ba13 (patch)
treec55389abfcb5eab0da9a702fdcf1004fc4b1a11f /lang_js-analyze-utils_js.mli.patch
downloadaur-pfff.tar.gz
Dropped from [community]
Diffstat (limited to 'lang_js-analyze-utils_js.mli.patch')
-rw-r--r--lang_js-analyze-utils_js.mli.patch30
1 files changed, 30 insertions, 0 deletions
diff --git a/lang_js-analyze-utils_js.mli.patch b/lang_js-analyze-utils_js.mli.patch
new file mode 100644
index 000000000000..c84ddcd32066
--- /dev/null
+++ b/lang_js-analyze-utils_js.mli.patch
@@ -0,0 +1,30 @@
+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 a/lang_js/analyze/utils_js.mli b/lang_js/analyze/utils_js.mli
+index 637b832..19a8cbb 100644
+--- a/lang_js/analyze/utils_js.mli
++++ b/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
+