X-Git-Url: http://git.euphorik.ch/?p=master-thesis.git;a=blobdiff_plain;f=Parasitemia%2FParasitemiaUI%2FUtils.fs;h=8635bcde813703bfc6e17ce2d48bdaab4aeba28e;hp=97c74252cca4997ae76779f5e42a73d5b045f63d;hb=d3f9cd7b16d25f49bd8d06394b0f1d4040809fbd;hpb=a6aee26e20f3b24e6b07120cf95a7221dc072778

diff --git a/Parasitemia/ParasitemiaUI/Utils.fs b/Parasitemia/ParasitemiaUI/Utils.fs
index 97c7425..8635bcd 100644
--- a/Parasitemia/ParasitemiaUI/Utils.fs
+++ b/Parasitemia/ParasitemiaUI/Utils.fs
@@ -49,7 +49,7 @@ let predefinedPPI : PredefinedPPI list =
         use file = new StreamReader (predefinedPPIFilepath)
         JsonConvert.DeserializeObject<PredefinedPPI list> (file.ReadToEnd ())
     with
-    | ex ->
+    | _ex ->
         savePredefinedPPIToFile defaultPredefinedPPI
         defaultPredefinedPPI
 
@@ -58,6 +58,6 @@ let sensorSizes : SensorSize list =
         use file = new StreamReader (sensorSizesFilepath)
         JsonConvert.DeserializeObject<SensorSize list> (file.ReadToEnd ())
     with
-    | ex ->
+    | _ex ->
         saveSensorSizesToFile defaultSensorSizes
         defaultSensorSizes