Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Fix unique_ptr memory header for MinGW64 (#3493).

Browse Source
This commit is contained in:
William D. Jones 2022-07-13 06:38:03 -04:00 committed by GitHub
parent 63507e8e29
commit 108c900387
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/CONTRIBUTORS
View File

@ -116,6 +116,7 @@ Unai Martinez-Corral
Vassilis Papaefstathiou
Veripool API Bot
Victor Besyakov
William D. Jones
Wilson Snyder
Xi Zhang
Yoda Lee

1
src/V3File.h
View File

@ -28,6 +28,7 @@
#include <list>
#include <vector>
#include <fstream>
#include <memory>
//============================================================================
// V3File: Create streams, recording dependency information