fix formatting

yaacovCR · yaacovCR · commit 5fcea159b4d7 · 2026-03-06T01:41:05.000+02:00
diff --git a/spec/Section 6 -- Execution.md b/spec/Section 6 -- Execution.md
@@ -737,8 +737,8 @@ ResolveAbstractType(abstractType, objectValue):
 - Let {resolvedType} be the result of calling the internal method provided by
   the type system for determining the Object type of {abstractType} given the
   value {objectValue}.
-- Assert {resolvedType} is an Object type.
-- Assert {IsSubType(abstractType, resolvedType)}.
+- Assert: {resolvedType} is an Object type.
+- Assert: {IsSubType(abstractType, resolvedType)}.
 - Return {resolvedType}.
 
 IsSubType(abstractType, objectType):
