Skip to content
Snippets Groups Projects
Commit 96fbe65e authored by ki7077's avatar ki7077
Browse files

Update Fact.cs

test
parent 4b4228bf
Branches
No related tags found
1 merge request!1feat: added visualisation for CircleFact; added Torus- and ConeGenerator
......@@ -3053,7 +3053,6 @@ private void init(string cid1, string cid2, float vol, string unequalproof, OMA
string c2URI = cf2.Id;
string pURI = unEqualProof.Id;
mmtDecl = generateMMTDeclaration(c1URI, c2URI, vol, pURI, proof);
AddFactResponse.sendAdd(mmtDecl, out this._URI);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment