[lean backend] Update snapshot

Author: clementblaudeau

test-harness/src/snapshots/toolchain__lean-tests into-lean.snap

@@ -29,10 +29,10 @@ diagnostics = []
 [stdout.files]
 "lean_tests.lean" = '''
 -- Experimental lean backend for Hax
--- Uncomment the following line to use the prelude (requires the Lib.lean file) : 
--- import Lib
+-- Comment the following line to not import the prelude (requires the Lib.lean file) : 
+import Lib
+
 
--- use statement [unsupported]
 
 -- unimplemented yet