From 077bfdd8614d3a5e2e4165d8c907f80aa4c48e34 Mon Sep 17 00:00:00 2001
From: Stevell Muller <78619134+StevellM@users.noreply.github.com>
Date: Sat, 2 Dec 2023 17:54:38 +0100
Subject: [PATCH] Update Lattices.jl

Remove what shouldn't have been removed, somehow...
---
 src/QuadForm/Herm/Lattices.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/QuadForm/Herm/Lattices.jl b/src/QuadForm/Herm/Lattices.jl
index 533c35e676..eca8308df2 100644
--- a/src/QuadForm/Herm/Lattices.jl
+++ b/src/QuadForm/Herm/Lattices.jl
@@ -1,3 +1,5 @@
+export maximal_integral_lattice, is_maximal_integral
+
 ################################################################################
 #
 #  String I/O