1 files changed, 3 insertions, 1 deletions

diff --git a/src/lib.rs b/src/lib.rs
index 1bb3e41..fa9fcb2 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,5 @@
-pub mod sexpr;
 pub mod def_rules;
+pub mod format_latex;
 pub mod match_rules;
+pub mod sexpr;
+pub mod simplify;