From 68efbf0396022f0cd4a8d3866bcdd1225b97fa08 Mon Sep 17 00:00:00 2001
From: Sebastian Kosch <sebastian@aldusleaf.org>
Date: Tue, 2 Jun 2020 15:24:09 -0700
Subject: [PATCH] Fix normal distribution from 90CI (stdev was double what it
 should be)

---
 src/distPlus/symbolic/SymbolicDist.re | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/distPlus/symbolic/SymbolicDist.re b/src/distPlus/symbolic/SymbolicDist.re
index e476e974..ada4e2c0 100644
--- a/src/distPlus/symbolic/SymbolicDist.re
+++ b/src/distPlus/symbolic/SymbolicDist.re
@@ -100,7 +100,7 @@ module Normal = {
 
   let from90PercentCI = (low, high) => {
     let mean = E.A.Floats.mean([|low, high|]);
-    let stdev = (high -. low) /. 1.645;
+    let stdev = (high -. low) /. (2. *. 1.644854);
     `Normal({mean, stdev});
   };
   let inv = (p, t: t) => Jstat.normal##inv(p, t.mean, t.stdev);