chore(tests/compiler/expr): fix test output

leanprover · Aug 4, 2019 · bb8b13d · bb8b13d
1 parent 1b426db
commit bb8b13d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/compiler/expr.lean.expected.out b/tests/compiler/expr.lean.expected.out
@@ -1,2 +1,2 @@
 f a
-hash: 938464039
+hash: 955925747