Merge pull request #24 from convince-project/manual

Fix cargo doc error

Author: EnricoGhiorzi

Diff for: scan_core/src/grammar.rs

@@ -9,7 +9,7 @@ use ordered_float::OrderedFloat;
 use std::hash::Hash;
 use thiserror::Error;
 
-/// The error type for operations with [`ProgramGraphBuilder`]s and [`ProgramGraph`]s.
+/// The error type for operations with [`Type`].
 #[derive(Debug, Clone, Copy, Error)]
 pub enum TypeError {
     /// Types that should be matching are not,

Diff for: scan_core/src/model.rs

@@ -58,7 +58,6 @@ impl CsModelBuilder {
 /// Transition system model based on a [`ChannelSystem`].
 ///
 /// It is essentially a CS which keeps track of the [`Event`]s produced by the execution
-/// (i.e., of the [`Message`]s sent to and from [`Channel`]s)
 /// and determining a set of predicates.
 #[derive(Debug, Clone)]
 pub struct CsModel {