diff --git a/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings b/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings
new file mode 100644
index 0000000..d62ecb3
--- /dev/null
+++ b/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings
@@ -0,0 +1,7 @@
+##########################################################################################
+# The annotation class mapping definition for the VDMJ Type Checker. See ClassMapper.
+##########################################################################################
+
+# annotations
+package annotations.ast to annotations.tc;
+map ASTOnFailAnnotation{name, args} to TCOnFailAnnotation(name, args);