diff options
| author | Benjamin Pierce <bcpierce00@gmail.com> | 2017-11-25 07:26:19 -0500 |
|---|---|---|
| committer | Benjamin Pierce <bcpierce00@gmail.com> | 2017-11-25 07:26:19 -0500 |
| commit | a19074caef99b5dfa0722061531a98fff1f76140 (patch) | |
| tree | e73b79715db1fb2ded402177f185eadc9a1cd689 /src | |
| parent | c13b0c07c0c286c0dfc728c7ff3e83c00545d860 (diff) | |
| download | unison-a19074caef99b5dfa0722061531a98fff1f76140.zip unison-a19074caef99b5dfa0722061531a98fff1f76140.tar.gz unison-a19074caef99b5dfa0722061531a98fff1f76140.tar.bz2 | |
Remove a couple of compiler warnings
Diffstat (limited to 'src')
| -rw-r--r-- | src/main.ml | 2 | ||||
| -rw-r--r-- | src/uitext.ml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/main.ml b/src/main.ml index 2286e99..9d11f1c 100644 --- a/src/main.ml +++ b/src/main.ml @@ -90,7 +90,7 @@ let socket = (fun _ -> fun i -> (try Some(int_of_string i) - with Failure "int_of_string" -> + with Failure _ -> raise(Prefs.IllegalValue "-socket must be followed by a number"))) (function None -> [] | Some(i) -> [string_of_int i]) ;; diff --git a/src/uitext.ml b/src/uitext.ml index 6463c32..3706923 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -798,8 +798,8 @@ let rec synchronizeUntilDone () = let repeatinterval = if Prefs.read Uicommon.repeat = "" then -1 else try int_of_string (Prefs.read Uicommon.repeat) - with Failure "int_of_string" -> - (* If the 'repeat' pref is not a number, switch modes... *) + with Failure _ -> + (* If the 'repeat' pref is not a valid number, switch modes... *) if Prefs.read Uicommon.repeat = "watch" then synchronizePathsFromFilesystemWatcher() else |