From 8eb03cd114d9819940238428512ead0c4117888a Mon Sep 17 00:00:00 2001
From: Morten Haahr Kristensen <mortenhaahrkristensen@gmail.com>
Date: Thu, 12 Dec 2024 17:09:10 +0100
Subject: [PATCH] Undo of accidental rename

---
 src/constraint_based_runtime.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/constraint_based_runtime.rs b/src/constraint_based_runtime.rs
index 83cafa8..7c97f58 100644
--- a/src/constraint_based_runtime.rs
+++ b/src/constraint_based_runtime.rs
@@ -44,12 +44,12 @@ impl ValStreamCollection {
 }
 
 #[derive(Debug, Default)]
-pub struct SyncConstraintBasedRuntime {
+pub struct ConstraintBasedRuntime {
     store: ConstraintStore,
     time: usize,
 }
 
-impl SyncConstraintBasedRuntime {
+impl ConstraintBasedRuntime {
     fn receive_inputs(&mut self, inputs: &BTreeMap<VarName, Value>) {
         // Add new input values
         for (name, val) in inputs {
@@ -178,7 +178,7 @@ impl Monitor<LOLASpecification, Value> for ConstraintBasedMonitor {
 impl ConstraintBasedMonitor {
     fn stream_output_constraints(&mut self) -> BoxStream<'static, ConstraintStore> {
         let inputs_stream = mem::take(&mut self.input_streams).into_stream();
-        let mut runtime_initial = SyncConstraintBasedRuntime::default();
+        let mut runtime_initial = ConstraintBasedRuntime::default();
         runtime_initial.store = model_constraints(self.model.clone());
         Box::pin(stream::unfold(
             (inputs_stream, runtime_initial),