Merge pull request #5145 from urbit/jb/rip-stub

jets: updates +rip and +rep stub jets to defer to nock
This commit is contained in:
Joe Bryan 2021-08-12 09:09:10 -07:00 committed by GitHub
commit 5bffee591b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -170,7 +170,7 @@ u3qc_rep(u3_atom a,
} }
u3l_log("rep: stub\r\n"); u3l_log("rep: stub\r\n");
return u3m_bail(c3__fail); return u3_none;
} }
u3_noun u3_noun

View File

@ -160,7 +160,7 @@ u3qc_rip(u3_atom a,
} }
u3l_log("rip: stub\r\n"); u3l_log("rip: stub\r\n");
return u3m_bail(c3__fail); return u3_none;
} }
u3_noun u3_noun