Rename then in example.

Author: cristianoc

jscomp/test/SafePromises.js

@@ -4,8 +4,8 @@ var Js_promise2 = require("../../lib/js/js_promise2.js");
 
 async function nestedPromise(xxx) {
   var xx = await xxx;
-  Js_promise2.then_(xx, (function (x) {
-          return Promise.resolve((console.log("Promise2.then_", x), undefined));
+  Js_promise2.then(xx, (function (x) {
+          return Promise.resolve((console.log("Promise2.then", x), undefined));
         }));
   Js_promise2.$$catch(xx, (function (x) {
           console.log("Promise2.catch_", x);

jscomp/test/SafePromises.res

@@ -3,7 +3,7 @@
 let nestedPromise = async (xxx: promise<promise<int>>) => {
   let xx = await xxx
 
-  let _ = xx->Js.Promise2.then_(x => Js.log2("Promise2.then_", x) |> Js.Promise.resolve)
+  let _ = xx->Js.Promise2.then(x => Js.log2("Promise2.then", x) |> Js.Promise.resolve)
   let _ = xx->Js.Promise2.catch(x => {
     Js.log2("Promise2.catch_", x)
     0 |> Js.Promise.resolve