diff --git a/src/utils/diff.js b/src/utils/diff.js index 8bcc3d73..ef7a5823 100644 --- a/src/utils/diff.js +++ b/src/utils/diff.js @@ -57,7 +57,7 @@ function deducePrim(x) { if (x.value === '[]') { return 'list'; } - if (/(DIP|DUP|CAR|FAILWITH|Pair|Left|Right|Unit|Elt)/.test(x.value)) { + if (/({|}|DIP|DUP|CAR|FAILWITH|Pair|Left|Right|Unit|Elt)/.test(x.value)) { return 'lambda'; } if (/^"(tz|KT)[1-9A-HJ-NP-Za-km-z]{34}"$/.test(x.value)) {