diff --git a/argus/src/lib.rs b/argus/src/lib.rs
index ef208f5..3505898 100644
--- a/argus/src/lib.rs
+++ b/argus/src/lib.rs
@@ -1,3 +1,4 @@
 pub use argus_core::signals::{AnySignal, Signal};
 pub use argus_core::{expr, signals, ArgusResult, Error};
+pub use argus_parser::parse_str;
 pub use argus_semantics::{BooleanSemantics, QuantitativeSemantics, Trace};