git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13756 3260e6d1-4efc-4170-b0a7-36055960796d

2019-03-31 22:05:28 +00:00 · 2019-03-31 22:05:28 +00:00 · f78b5d310b
parent e1ff1fbf60
commit f78b5d310b
2 changed files with 2 additions and 5 deletions
--- a/C11-FrontEnd/examples/C1.thy
+++ b/C11-FrontEnd/examples/C1.thy
@ -197,7 +197,7 @@ int a = 0;
   */

  /** ML \<open>fn _ => fn _ => fn _ => I\<close> (* An example of correct syntax accepted as usual *)
-   */   
+   */
 \<close>

 subsection \<open>Mixing Together Any Types of Antiquotations\<close>
--- a/C11-FrontEnd/examples/C3.thy
+++ b/C11-FrontEnd/examples/C3.thy
@ -101,9 +101,6 @@ unsigned int is_prime(unsigned int n)

    /* No factors. */
    return 1;
-}
-
-
-\<close>
+}\<close>

 end