Modified expected AST for Faculty according to Faculty.jav

This commit is contained in:
luca9913 2023-06-24 19:48:36 +02:00
parent 1fb431ab36
commit eaeb3c4106

View File

@ -4,7 +4,7 @@ class Faculty {
Faculty(){
super(());
}
TPH DDBK getFact(TPH DDBL x){
TPH DDBK getFact(java.lang.Integer x){
return this.fact.apply Signature: [TPH DDBM, TPH DDBN](x);
}