Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save catamorphism/874879 to your computer and use it in GitHub Desktop.
Save catamorphism/874879 to your computer and use it in GitHub Desktop.
change that triggers weird compilation error
diff --git a/src/boot/driver/main.ml b/src/boot/driver/main.ml
index ddcbc9a..5a5c7ce 100644
--- a/src/boot/driver/main.ml
+++ b/src/boot/driver/main.ml
@@ -35,7 +35,7 @@ let (sess:Session.sess) =
*)
Session.sess_targ = targ;
Session.sess_log_lex = false;
- Session.sess_log_parse = false;
+ Session.sess_log_parse = true;
Session.sess_log_ast = false;
Session.sess_log_sig = false;
Session.sess_log_passes = false;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment