diff options
Diffstat (limited to 'src/verilog/PrintHTL.ml')
-rw-r--r-- | src/verilog/PrintHTL.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/verilog/PrintHTL.ml b/src/verilog/PrintHTL.ml index 0bdba51..36fdd3c 100644 --- a/src/verilog/PrintHTL.ml +++ b/src/verilog/PrintHTL.ml @@ -16,7 +16,7 @@ * along with this program. If not, see <https://www.gnu.org/licenses/>. *) -open Value +open ValueInt open Datatypes open Camlcoq open AST |