diff --git a/src/Compiler/Expr.idr b/src/Compiler/Expr.idr index 6ec09670a..13e749dea 100644 --- 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 \ No newline at end of file + NormalFloatingPoint : Nat -> Nat -> Shape -> Expr