minor -> fix rewrite issue-32.bpl

viperproject · Dec 4, 2024 · effb107 · effb107
1 parent 57c6b52
commit effb107
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/ProofGenerationBenchmarks/boogie_testsuite_benchmarks/test20/issue-32.bpl b/ProofGenerationBenchmarks/boogie_testsuite_benchmarks/test20/issue-32.bpl
@@ -1,9 +1,9 @@
 //:: ProofGen(IgnoreFile)
 // RUN: %boogie "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
-function  Lit<T>(x: T) : T;
-axiom Lit(true);
-function  LitA<T>(x: T) : T; //renamed Lit to LitA to avoid Isabelle Lit clash
+
+/** MANUEL REWRITE renamed Lit to LitA to avoid Isabelle Lit clash **/
+function LitA<T>(x: T) : T; 
 axiom LitA(true);
 
 procedure test()