diff --git a/test/st-KK06-algo2/potential.ml b/test/st-KK06-algo2/potential.ml
new file mode 120000
index 0000000000000000000000000000000000000000..0cef25e36422d5f7f5d978f1a0edc941f5a2a700
--- /dev/null
+++ b/test/st-KK06-algo2/potential.ml
@@ -0,0 +1 @@
+../st-KK06-algo1/potential.ml
\ No newline at end of file
diff --git a/test/st-KK06-algo2/state.ml b/test/st-KK06-algo2/state.ml
index 34c7fcfc8c822bfde957304fb8d1f0940308f469..db9faed5506e4c14ff2ccb871cc4414de50df543 100644
--- a/test/st-KK06-algo2/state.ml
+++ b/test/st-KK06-algo2/state.ml
@@ -1,9 +1,9 @@
 
-type t = int 
-let to_string = (fun s -> Printf.sprintf "f=%i" s)
+type t = int
+let to_string = (fun s -> Printf.sprintf "%i" s)
 let of_string = Some int_of_string
 let copy x = x
 let actions = ["R";"R1"]
 let potential = None
 let legitimate = None
-let fault = None 
+let fault = None