examples for the talk!

2019-02-25 19:34:43 +00:00 · 2019-02-25 19:34:43 +00:00 · adf28d8c4a
parent e564a1f91d
commit adf28d8c4a
1 changed files with 1 additions and 1 deletions
--- a/C-verifier/src/Examples/algorithms_presentation.thy
+++ b/C-verifier/src/Examples/algorithms_presentation.thy
@ -264,7 +264,7 @@ program_spec Talk_gcd_example:
    ELSE x :== (&x - &r)
    FI
   OD" 
-   vcg_wp                     
+ vcg_wp      
   apply (simp add: gcd_diff1)
   apply (metis gcd.commute gcd_diff1)+
  done