diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:37:40 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:37:40 +0100 |
| commit | 536f154b75a0bb5a9d24a66257e9dddd18ea39e8 (patch) | |
| tree | 5ae089011e48e35710d4f4512e57e782b9d395f2 /src | |
| parent | 714eefa9224786617aa7f81b6805b4a88e6744d8 (diff) | |
| download | vericert-536f154b75a0bb5a9d24a66257e9dddd18ea39e8.tar.gz vericert-536f154b75a0bb5a9d24a66257e9dddd18ea39e8.zip | |
Rename Verilog AST files
Diffstat (limited to 'src')
| -rw-r--r-- | src/verilog/PrintVerilog.ml (renamed from src/verilog/PrettyPrint.ml) | 0 | ||||
| -rw-r--r-- | src/verilog/PrintVerilog.mli (renamed from src/verilog/PrettyPrint.mli) | 0 | ||||
| -rw-r--r-- | src/verilog/Verilog.v (renamed from src/verilog/VerilogAST.v) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/src/verilog/PrettyPrint.ml b/src/verilog/PrintVerilog.ml index cb72226..cb72226 100644 --- a/src/verilog/PrettyPrint.ml +++ b/src/verilog/PrintVerilog.ml diff --git a/src/verilog/PrettyPrint.mli b/src/verilog/PrintVerilog.mli index b6478fd..b6478fd 100644 --- a/src/verilog/PrettyPrint.mli +++ b/src/verilog/PrintVerilog.mli diff --git a/src/verilog/VerilogAST.v b/src/verilog/Verilog.v index 88c8ac4..88c8ac4 100644 --- a/src/verilog/VerilogAST.v +++ b/src/verilog/Verilog.v |