diff --git a/VSharp.IL/Loader.fs b/VSharp.IL/Loader.fs index 1d2fa112b..5a7365c9f 100644 --- a/VSharp.IL/Loader.fs +++ b/VSharp.IL/Loader.fs @@ -344,6 +344,7 @@ module Loader = "System.DateTime System.DateTime.get_Now()" "System.DateTime System.DateTime.get_UtcNow()" "System.DateTime System.Diagnostics.Process.get_StartTime(this)" + "System.String System.DateTime.ToString(this, System.String)" // FileSystem "System.String System.IO.FileSystemInfo.get_LinkTarget(this)"