diff --git a/dist/ast/TestCase.d.ts b/dist/ast/TestCase.d.ts
index e59c0c2..f5f1572 100644
--- a/dist/ast/TestCase.d.ts
+++ b/dist/ast/TestCase.d.ts
@@ -18,7 +18,7 @@ export interface TestCase extends NamedNode, MayHaveTags {
      * differently from its postconditions declare, making the test fail.
      * So, since it is expected that the test will fail, it should pass.
      */
-    shoudFail?: boolean;
+    shouldFail?: boolean;
     /**
      * Indicates that it is a generated test case, i.e., not declared manually.
      *
diff --git a/src/ast/TestCase.ts b/src/ast/TestCase.ts
index 29f4b28..0ba2097 100644
--- a/src/ast/TestCase.ts
+++ b/src/ast/TestCase.ts
@@ -20,7 +20,7 @@ export interface TestCase extends NamedNode, MayHaveTags {
      * differently from its postconditions declare, making the test fail.
      * So, since it is expected that the test will fail, it should pass.
      */
-    shoudFail?: boolean;
+    shouldFail?: boolean;
 
     /**
      * Indicates that it is a generated test case, i.e., not declared manually.