Remove RingBuffer since it is unused

INTO-CPS-Association · Nov 6, 2024 · b07d225 · b07d225
1 parent 56b2c9e
commit b07d225
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 178 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -21,7 +21,6 @@ pub use parser::{lola_expression, lola_input_file, lola_specification};
 pub mod file_handling;
 pub mod file_input_provider;
 pub mod queuing_runtime;
-pub mod ring_buffer;
 pub mod type_checking;
 pub mod untimed_monitoring_combinators;
 pub use file_handling::parse_file;

diff --git a/src/ring_buffer.rs b/src/ring_buffer.rs