wipaw

joelberkeley · May 20, 2023 · 43dd01b · 43dd01b
1 parent f656d1c
commit 43dd01b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Compiler/Expr.idr b/src/Compiler/Expr.idr
@@ -119,4 +119,4 @@ data Expr : Type where
   Cholesky : Nat -> Expr
   TriangularSolve : Nat -> Nat -> Bool -> Expr
   UniformFloatingPoint : Nat -> Nat -> Nat -> Nat -> Shape -> Expr
-  NormalFloatingPoint : Nat -> Nat -> Shape -> Expr
+  NormalFloatingPoint : Nat -> Nat -> Shape -> Expr