diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-01-21 17:14:28 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-01-21 17:14:28 +0000 |
| commit | 1f68a54738d17c0677d9dfc8c6da8878771f6b77 (patch) | |
| tree | ba55cf3aed8a3b4f9af779288c7b7d50c712cd36 /CoqUp/CoqUp.v | |
| parent | 6baeb3bc81437793bb33b77a52679dfe1a9e5746 (diff) | |
| download | vericert-1f68a54738d17c0677d9dfc8c6da8878771f6b77.tar.gz vericert-1f68a54738d17c0677d9dfc8c6da8878771f6b77.zip | |
Add Verilog syntax
Diffstat (limited to 'CoqUp/CoqUp.v')
| -rw-r--r-- | CoqUp/CoqUp.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CoqUp/CoqUp.v b/CoqUp/CoqUp.v index c7528fc..02d71ee 100644 --- a/CoqUp/CoqUp.v +++ b/CoqUp/CoqUp.v @@ -1 +1,4 @@ +Set Implicit Arguments. + Require Import Bool List String. + |