Adding @library annotation everywhere

epfl-lara · Sep 19, 2016 · c3dd7a0 · c3dd7a0
1 parent 8d99391
commit c3dd7a0
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/library/leon/io/StdOut.scala b/library/leon/io/StdOut.scala
@@ -7,23 +7,26 @@ import leon.annotation._
 object StdOut {
 
   @extern
+  @library
   @cCode.function(
     code = """
       |void __FUNCTION__(char* s) {
       |  printf("%s", s);
       |}
       """,
     includes = "stdio.h"
-  )
+  )  
   def print(x: String): Unit = {
     scala.Predef.print(x)
   }
 
+  @library
   def println(s: String): Unit = {
     print(s)
     print('\n')
   }
 
+  @library
   @extern
   @cCode.function(
     code = """
@@ -32,16 +35,18 @@ object StdOut {
      |}
      """,
     includes = "inttypes.h:stdio.h"
-  )
+  )  
   def print(x: Int): Unit = {
     scala.Predef.print(x)
   }
 
+  @library
   def println(x: Int): Unit = {
     print(x)
     print('\n')
   }
 
+  @library
   @extern
   @cCode.function(
     code = """
@@ -55,11 +60,13 @@ object StdOut {
     scala.Predef.print(c)
   }
 
+  @library
   def println(c: Char): Unit = {
     print(c)
     print('\n')
   }
 
+  @library
   def println(): Unit = {
     print('\n')
   }