C++: Rename Strings.qll -> StdString.qll.

This commit is contained in:
Geoffrey White
2020-04-03 09:17:33 +01:00
parent c9ec30fa2a
commit 1bcf187c3e
2 changed files with 1 additions and 1 deletions

View File

@@ -12,5 +12,5 @@ private import implementations.Strcat
private import implementations.Strcpy
private import implementations.Strdup
private import implementations.Strftime
private import implementations.Strings
private import implementations.StdString
private import implementations.Swap