Skip to content

Commit 3df92cf

Browse files
krame505quark17
authored andcommitted
Rename ConArg -> OtherConArg
1 parent 25793ca commit 3df92cf

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Libraries/VerilogRepr/VerilogRepr.bs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ instance TypeId' (NumArg i) where
128128
bsType' _ = integerToString $ valueOf i
129129
verilogTypeId' _ = integerToString $ valueOf i
130130

131-
instance TypeId' ConArg where
131+
instance TypeId' OtherConArg where
132132
bsType' _ =
133133
error "Demanded Bluespec type of a higher-kinded type argument"
134134
verilogTypeId' _ =

0 commit comments

Comments
 (0)