diff --git a/tools/objexport/objexport.fsproj b/tools/objexport/objexport.fsproj index 3162aecd17..61c02d3a60 100644 --- a/tools/objexport/objexport.fsproj +++ b/tools/objexport/objexport.fsproj @@ -9,7 +9,7 @@ - +