From 7f57933ef3c9d5db4ffa8b6cf686a1510566e3e6 Mon Sep 17 00:00:00 2001
From: MchKosticyn <mishakosticyn@yandex.ru>
Date: Sun, 10 Dec 2023 23:27:09 +0300
Subject: [PATCH] [fix] added concrete invokation

---
 VSharp.IL/Loader.fs | 1 +
 1 file changed, 1 insertion(+)

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)"