Added comment for empty action string in failure message.

Ecdar · Nov 9, 2022 · bf13ebf · bf13ebf
1 parent a309e56
commit bf13ebf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ProtobufServer/ecdar_requests/send_query.rs b/src/ProtobufServer/ecdar_requests/send_query.rs
@@ -153,7 +153,7 @@ fn convert_ecdar_result(query_result: &QueryResult) -> Option<ProtobufResult> {
                     reason: "".to_string(),
                     relation: vec![],
                     state: None,
-                    action: "".to_string(),
+                    action: "".to_string(), // Empty string is used, when no failing action is available.
                 }))
             }
             refine::RefinementResult::Failure(failure) => convert_refinement_failure(failure),