fixing documentation issue, fixes #359

Author: Eric Bodden

src/soot/shimple/README

@@ -205,7 +205,7 @@ otherwise quite harmless.
 
 To understand what's really going on when Shimple eliminates Phi
 nodes, you can tell it to eliminate them naively with `soot.Main -f
-jimple -via-shimple -p shimple phi-elim-opt:none ShimpleTest':
+jimple -via-shimple -p shimple ShimpleTest':
 
         i0 = 100;
         i0_1 = i0;
@@ -294,7 +294,7 @@ eliminated.
 To understand what is really going on, you can look at the output
 from `soot.Main -f shimple -p sop on', `soot.Main -f shimple -p sop
 on -p sop.cpf prune-cfg:false' and `soot.Main -f jimple -via-shimple
--p shimple phi-elim-opt:none -p sop on -p sop.cpf prune-cfg:false' 
+-p shimple -p sop on -p sop.cpf prune-cfg:false' 
 on this and other examples:
 
 public int test2()

tutorial/shimple/shimple.tex

@@ -230,7 +230,7 @@ \subsection{Producing Jimple, Again}
 
 To understand what's really going on when Shimple eliminates Phi
 nodes, you can tell it to eliminate them naively with `{\tt soot.Main
--f jimple --via-shimple -p shimple phi-elim-opt:none ShimpleTest}':
+-f jimple --via-shimple -p shimple ShimpleTest}':
 
 \begin{verbatim}
         i0 = 100;
@@ -325,7 +325,7 @@ \subsection{Applying Shimple Optimizations}
 To understand what is really going on, you can look at the output from
 `{\tt soot.Main -f shimple -p sop on}', `{\tt soot.Main -f shimple -p sop
 on -p sop.cpf prune-cfg:false}' and `{\tt soot.Main -f jimple
---via-shimple -p shimple phi-elim-opt:none -p sop on -p sop.cpf
+--via-shimple -p shimple -p sop on -p sop.cpf
 prune-cfg:false}' on this and other examples:
 
 \begin{verbatim}