diff --git a/code/corebuild b/code/corebuild index 3cbd6e1..1064458 100755 --- a/code/corebuild +++ b/code/corebuild @@ -13,4 +13,4 @@ ocamlbuild \ -cflags "-w @A-4-33-41-42-43-34-44" \ -cflags -strict-sequence \ -cflags -principal \ - $@ + "$@"