Prettified Code!

huynhtrankhanh · Mar 11, 2024 · 4e1ae2e · 4e1ae2e
1 parent 81f89db
commit 4e1ae2e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/compiler/validateAST.ts b/compiler/validateAST.ts
@@ -454,10 +454,10 @@ export const validateAST = (modules: CoqCPAST[]): ValidationError[] => {
             return instruction.type === 'coerceInt16'
               ? 'int16'
               : instruction.type === 'coerceInt32'
-              ? 'int32'
-              : instruction.type === 'coerceInt64'
-              ? 'int64'
-              : 'int8'
+                ? 'int32'
+                : instruction.type === 'coerceInt64'
+                  ? 'int64'
+                  : 'int8'
           }
           case 'condition': {
             const { alternate, body, condition, location } = instruction