Added bug pluscal translator bug report.

tlatools/src/pcal/trans.java

@@ -26,6 +26,16 @@ import util.ToolIO;
 * CLASS trans                                                              *
 *                                                                          *
 *  BUGS:                                                                   *   
+*    - Interprets                                                          *
+*                                                                          *
+*         if (...) call f(...) ; return                                    *
+*                                                                          *        
+*      as if it were                                                       *
+*                                                                          *     
+*         if (...) call {f(...) ; return }                                 *
+*                                                                          *
+*      See 2 Dec 2015 Tlaplus Google group post by Jaak Ristioja           *
+*                                                                          *     
 *    - Accepts if (...) {...} ; else {...}                                 *
 *      Generates code as if the ";" were not there.                        *
 *