diff --git a/constraint_generation/src/execute.rs b/constraint_generation/src/execute.rs
index a2f78c5c5..329384649 100644
--- a/constraint_generation/src/execute.rs
+++ b/constraint_generation/src/execute.rs
@@ -453,7 +453,7 @@ fn execute_statement(
                     }
 
                     if !needs_double_arrow.is_empty() && flags.inspect{
-                        // in case we can subsitute the complete expression to ==>
+                        // in case we can substitute the complete expression to ==>
                         if needs_double_arrow.len() == AExpressionSlice::get_number_of_cells(&constrained.right){
                             let err : Result<(),ExecutionWarning> = 
                                 Result::Err(ExecutionWarning::CanBeQuadraticConstraintSingle());
@@ -1341,7 +1341,7 @@ fn execute_bus_declaration(
 }
 
 /*
-    In case the assigment could be a constraint generator the returned value is the constraint
+    In case the assignment could be a constraint generator the returned value is the constraint
     that will be created
 */
 enum ExecutedStructure<'a>{
@@ -1967,7 +1967,7 @@ fn perform_assign(
         }
 
         if FoldedValue::valid_bus_node_pointer(&r_folded){
-            // in this case we are performing an assigment of the type in the node_pointer
+            // in this case we are performing an assignment of the type in the node_pointer
             // to the bus in the left
             
             let bus_pointer = r_folded.bus_node_pointer.unwrap();
diff --git a/type_analysis/src/analyzers/unknown_known_analysis.rs b/type_analysis/src/analyzers/unknown_known_analysis.rs
index 61487d809..d2c1a3548 100644
--- a/type_analysis/src/analyzers/unknown_known_analysis.rs
+++ b/type_analysis/src/analyzers/unknown_known_analysis.rs
@@ -549,7 +549,7 @@ fn add_report(
     let mut report = Report::error("Typing error found".to_string(), error_code);
     let location = generate_file_location(meta.start, meta.end);
     let message = match error_code {
-        UnknownTemplateAssignment => "Assigments to signals within an unknown access to an array of components are not allowed".to_string(),
+        UnknownTemplateAssignment => "Assignments to signals within an unknown access to an array of components are not allowed".to_string(),
         UnknownBus => "Parameters of a bus must be known during the constraint generation phase".to_string(),
         UnknownDimension => "The length of every array must be known during the constraint generation phase".to_string(),
         UnknownTemplate => "Every component instantiation must be resolved during the constraint generation phase. This component declaration uses a value that can be unknown during the constraint generation phase.".to_string(),