Cosmetic

formal-land · Aug 29, 2022 · 258d9ca · 258d9ca
1 parent d5305de
commit 258d9ca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-of-ocaml.opam b/coq-of-ocaml.opam
@@ -17,6 +17,7 @@ install: [
   [make "-C" "proofs" "install"] {coq:installed}
 ]
 depends: [
+  "angstrom"
   "bisect_ppx" {dev & >= "2.5.0"}
   "conf-ruby" {with-test}
   "csexp"
@@ -27,7 +28,6 @@ depends: [
   "result"
   "smart-print"
   "yojson" {>= "1.6.0"}
-  "angstrom"
 ]
 depopts: [
   "coq"

diff --git a/src/constant.ml b/src/constant.ml
@@ -45,7 +45,7 @@ type parsed_string = PString of string | PChar of char | PDQuote
 
 (** Kind of "good" printable characters
     (according to the coq documentation). *)
-let is_printable_ascii c = Char.code c >= 32 && c != '"'
+let is_printable_ascii c = Char.code c >= 32 && c <> '"'
 
 (** Characters which may need special representation
     (according to the coq documentation), except double quotes. *)