Fatal error: exception Invalid_argument("output_value: functional value") when I try to print argv to the console.

[pantantrant]

If you uncompress this: https://github.com/FStarLang/FStar/files/15134623/optvit.tar.gz, run make in its directory and then run ./build/optvit filled_argv1 (you can replace filled_argv1 with anything), it outputs: Fatal error: exception Invalid_argument("output_value: functional value")

My goal is to print to the console each null terminated char array of my program's argv in F*.

[pantantrant]

Fixed. I changed sed -i '1s/^/let\ cmdlineargs\ \(\)\ \=\n/' build/Main.ml' build/Main.ml to sed -i '1s/^/let\ cmdlineargs\ \=\n/' build/Main.ml.