From 01bd8686268730a5745a6e80ed16746c9ce87158 Mon Sep 17 00:00:00 2001
From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com>
Date: Thu, 23 Jun 2022 14:50:05 +0100
Subject: [PATCH] tidy imports

---
 src/Distribution.idr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Distribution.idr b/src/Distribution.idr
index 76ee99486..04243a368 100644
--- a/src/Distribution.idr
+++ b/src/Distribution.idr
@@ -18,9 +18,10 @@ module Distribution
 
 import Control.Monad.State
 import Data.Nat
+
+import Constants
 import Literal
 import Tensor
-import Constants
 
 ||| A joint, or multivariate distribution over a tensor of floating point values, where the first
 ||| two central moments (mean and covariance) are known. Every sub-event is assumed to have the