diff --git a/README.md b/README.md index 0a73b3a..3e5223d 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ ![CI Status](https://github.com/ethanuppal/cs3110_compiler/actions/workflows/ci.yaml/badge.svg) > "x86 is simple trust me bro" -> Last updated: 2024-04-14 02:18:55.227109 +> Last updated: 2024-04-14 02:23:21.158820 ``` $ ./main -h diff --git a/readme.py b/readme.py index d06a0ff..dcaba97 100644 --- a/readme.py +++ b/readme.py @@ -15,7 +15,7 @@ def put(var, text): put( "VERSION_NUM", subprocess.check_output( - "ocaml -e '#use \"./lib/meta.ml\";; print_endline (Version.to_string get.version)'", + "opam exec -- ocaml -e '#use \"./lib/meta.ml\";; print_endline (Version.to_string get.version)'", shell=True, text=True, ),