jscert / jsexplain

Apache License 2.0
26 stars 4 forks source link

js_of_ast.ml doesn't like % in comments #4

Closed IgnoredAmbience closed 5 years ago

IgnoredAmbience commented 7 years ago

It is treated as a printf flag somewhere, so needs to be escaped before being sent to the formatter.

barockobamo commented 5 years ago

We have found the workaround by escaping '%' like this : "%%".