wipaw

joelberkeley · May 20, 2023 · 65e25e8 · 65e25e8
1 parent a71588b
commit 65e25e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Compiler/Expr.idr b/src/Compiler/Expr.idr
@@ -103,4 +103,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