From 580018e419c1c0d6cdc4f47103be2d7c1aad1eb7 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 17 Jul 2017 15:53:57 +0200 Subject: Fixes a few dumb mistakes, adds ps example. --- instr-to-kodkod/src/Parameters.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'instr-to-kodkod/src') diff --git a/instr-to-kodkod/src/Parameters.java b/instr-to-kodkod/src/Parameters.java index 8d0331b..e9dc648 100644 --- a/instr-to-kodkod/src/Parameters.java +++ b/instr-to-kodkod/src/Parameters.java @@ -16,7 +16,7 @@ public class Parameters + "\t\tInstruction file describing the model.\n" + "NOTES:\n" + "\tThe properties to be verified still have to be hand coded in the" - + "source files (in Main.java)." + + " source files (in Main.java)." ); } -- cgit v1.2.3-70-g09d2