Use block comment in C code

epfl-lara · Jan 25, 2017 · f317373 · f317373
1 parent 0733507
commit f317373
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/library/leon/io/FileInputStream.scala b/library/leon/io/FileInputStream.scala
@@ -23,7 +23,7 @@ object FileInputStream {
     """
     |static FILE* __FUNCTION__(char* filename, void* unused) {
     |  FILE* this = fopen(filename, "r");
-    |  // this == NULL on failure
+    |  /* this == NULL on failure */
     |  return this;
     |}
     """

diff --git a/library/leon/io/FileOutputStream.scala b/library/leon/io/FileOutputStream.scala
@@ -26,7 +26,7 @@ object FileOutputStream {
     """
     |static FILE* __FUNCTION__(char* filename) {
     |  FILE* this = fopen(filename, "w");
-    |  // this == NULL on failure
+    |  /* this == NULL on failure */
     |  return this;
     |}
     """