From d9cf4fd4b192d532611e00b880426ee5f75cf577 Mon Sep 17 00:00:00 2001
From: Saul Johnson <saul.a.johnson@gmail.com>
Date: Tue, 2 Jul 2019 12:28:28 +0100
Subject: [PATCH] Fix namespacing issue on pow function

---
 src/Probability/Display.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Probability/Display.idr b/src/Probability/Display.idr
index fe8eda1..dbc05b8 100644
--- a/src/Probability/Display.idr
+++ b/src/Probability/Display.idr
@@ -23,8 +23,8 @@ fracPart x = x - intPart x
 
 ||| Raise a double to an arbitrary integral power
 fpow : Double -> Integer -> Double
-fpow f p = if p >= 0 then pow f (cast p)
-                     else 1 / (pow f $ cast $ abs p)
+fpow f p = if p >= 0 then Prelude.pow f (cast p)
+                     else 1 / (Prelude.pow f $ cast $ abs p)
 
 
 ---- Display Bars ----