diff options
Diffstat (limited to 'src/api/java/genkinds.py.in')
-rw-r--r-- | src/api/java/genkinds.py.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/api/java/genkinds.py.in b/src/api/java/genkinds.py.in index a15472a1a..d44ae3c0d 100644 --- a/src/api/java/genkinds.py.in +++ b/src/api/java/genkinds.py.in @@ -97,7 +97,12 @@ CPP_JAVA_MAPPING = \ r"std::vector<Term>": "Term[]", r"std::string": "String", r"&": "", - r"::": "." + r"::": ".", + r">": ">", + r"<": "<", + r"@f\[": "", + r"@f\]": "", + r"@note": "", } |